diff options
| -rw-r--r-- | 2025/ocaml/test/domain/dune | 4 | ||||
| -rw-r--r-- | 2025/ocaml/test/domain/test_d03p01.ml | 27 |
2 files changed, 29 insertions, 2 deletions
diff --git a/2025/ocaml/test/domain/dune b/2025/ocaml/test/domain/dune index 5a6222d..45b979d 100644 --- a/2025/ocaml/test/domain/dune +++ b/2025/ocaml/test/domain/dune @@ -5,4 +5,6 @@ test_d03p01) (libraries domain - alcotest)) + alcotest + qcheck-core + qcheck-alcotest)) diff --git a/2025/ocaml/test/domain/test_d03p01.ml b/2025/ocaml/test/domain/test_d03p01.ml index f2d64d1..4832e9b 100644 --- a/2025/ocaml/test/domain/test_d03p01.ml +++ b/2025/ocaml/test/domain/test_d03p01.ml @@ -5,6 +5,27 @@ let test_highest_joltage have want () = "highest joltage in battery bank" want (BatteryBank.of_string have |> BatteryBank.highest_joltage) +let largest_digit_always_in_highest_joltage = + QCheck2.Test.make ~count:1000 + ~name: + "highest joltage always has the largest number first unless the largest \ + digit in the input is the final digit or there are less than 3 digits" + ~print:(fun s -> s) + QCheck2.Gen.(string_of @@ char_range '1' '9') + (fun have -> + QCheck2.assume (String.length have > 2) ; + let got = + BatteryBank.of_string have |> BatteryBank.highest_joltage + |> fun x -> x / 10 + in + let want = + String.fold_left + (fun acc chr -> if acc < chr then chr else acc) + '0' have + |> Char.escaped |> int_of_string + in + got = want ) + let () = let open Alcotest in run "D03p01" @@ -833,4 +854,8 @@ let () = ; test_case "I have no idea why this is right yet" `Quick (test_highest_joltage "06760" 76) ; test_case "I have no idea why this is wrong yet" `Quick - (test_highest_joltage "0067600" 76) ] ) ] + (test_highest_joltage "0067600" 76) ] ) + ; ( "BatteryBank property tests" + , List.map + (QCheck_alcotest.to_alcotest ~colors:true ~speed_level:`Quick) + [largest_digit_always_in_highest_joltage] ) ] |