test: fix ocaml tests 2024 {WIP}HEADmain

9 files changed, 298 insertions, 0 deletions

diff --git a/ocaml/test/year2024/day01/dune b/ocaml/test/year2024/day01/dune
new file mode 100644
index 0000000..8891ccf
--- /dev/null
+++ b/ocaml/test/year2024/day01/dune
@@ -0,0 +1,11 @@
+(tests
+ (names
+   test_part01
+   test_part02)
+ (libraries
+   year2024
+   alcotest
+   qcheck-core
+   qcheck-alcotest)
+ (action (run %{test} -e))
+ (modes byte exe))
diff --git a/ocaml/test/year2024/day01/test_part01.ml b/ocaml/test/year2024/day01/test_part01.ml
new file mode 100644
index 0000000..706284d
--- /dev/null
+++ b/ocaml/test/year2024/day01/test_part01.ml
@@ -0,0 +1,30 @@
+open Year2024.Day01.Part01
+
+let test_solve haveLeft haveRight want () =
+  Alcotest.(check int) "incorrect solution" want @@ solve haveLeft haveRight
+
+let test_distance_calculation haveX haveY want () =
+  Alcotest.(check int) "incorrect solution" want
+  @@ calculate_distance haveX haveY
+
+let () =
+  let open Alcotest in
+  run "test suite for day 01 part 01"
+    [ ( "test solutions"
+      , [ test_case "empty list is 0" `Quick @@ (test_solve [] []) 0
+        ; test_case "distance between 0 and 1 is 1" `Quick
+          @@ (test_solve [0] [1]) 1
+        ; test_case "distance between 1 and 0 is 1" `Quick
+          @@ (test_solve [1] [0]) 1
+        ; test_case "smallest are paired, then next smallest, ..." `Quick
+          @@ (test_solve [1; 2; 3] [3; 2; 1]) 0
+        ; test_case "solves example correctly" `Quick
+          @@ (test_solve [3; 4; 2; 1; 3; 3] [4; 3; 5; 3; 9; 3]) 11
+        ; test_case "same number is 0 distance apart" `Quick
+          @@ (test_distance_calculation 0 0) 0
+        ; test_case "same number is 0 distance apart" `Quick
+          @@ (test_distance_calculation 1 1) 0
+        ; test_case "distance is equal to abs(x - y)" `Quick
+          @@ (test_distance_calculation 0 1) 1
+        ; test_case "order of inputs doesn't matter" `Quick
+          @@ (test_distance_calculation 1 0) 1 ] ) ]
diff --git a/ocaml/test/year2024/day01/test_part02.ml b/ocaml/test/year2024/day01/test_part02.ml
new file mode 100644
index 0000000..142add6
--- /dev/null
+++ b/ocaml/test/year2024/day01/test_part02.ml
@@ -0,0 +1,16 @@
+open Year2024.Day01.Part02
+
+let test_solve haveLeft haveRight want () =
+  Alcotest.(check int) "incorrect solution" want @@ solve haveLeft haveRight
+
+let () =
+  let open Alcotest in
+  run "test suite for day 01 part 02"
+    [ ( "test solutions"
+      , [ test_case "empty list is 0" `Quick @@ (test_solve [] []) 0
+        ; test_case "ten x zero occurrances of ten" `Quick
+          @@ (test_solve [10] [1; 2; 3]) 0
+        ; test_case "two x three occurrances of two" `Quick
+          @@ (test_solve [2] [2; 2; 2]) 6
+        ; test_case "solves example correctly" `Quick
+          @@ (test_solve [3; 4; 2; 1; 3; 3] [4; 3; 5; 3; 9; 3]) 31 ] ) ]
diff --git a/ocaml/test/year2024/day02/dune b/ocaml/test/year2024/day02/dune
new file mode 100644
index 0000000..c4a75c4
--- /dev/null
+++ b/ocaml/test/year2024/day02/dune
@@ -0,0 +1,10 @@
+(tests
+ (names
+   test_part01)
+ (libraries
+   year2024
+   alcotest
+   qcheck-core
+   qcheck-alcotest)
+ (action (run %{test} -e))
+ (modes byte exe))
diff --git a/ocaml/test/year2024/day02/test_part01.ml b/ocaml/test/year2024/day02/test_part01.ml
new file mode 100644
index 0000000..4feea41
--- /dev/null
+++ b/ocaml/test/year2024/day02/test_part01.ml
@@ -0,0 +1,41 @@
+open Year2024.Day02.Part01
+
+let test_solve have want () =
+  Alcotest.(check int) "incorrect solution" want @@ solve have
+
+let test_report_safety_check have want () =
+  Alcotest.(check bool) "incorrect report safety" want
+  @@ check_report_safety have
+
+let () =
+  let open Alcotest in
+  run "test suite for day 2 part 1"
+    [ ( "test solutions"
+      , [ test_case "empty list should have no valid reports" `Quick
+          @@ test_solve [] 0
+        ; test_case "valid report should count as one" `Quick
+          @@ test_solve [[7; 6; 4; 2; 1]] 1
+        ; test_case "provided example" `Quick
+          @@ test_solve
+               [ [7; 6; 4; 2; 1]
+               ; [1; 2; 7; 8; 9]
+               ; [9; 7; 6; 2; 1]
+               ; [1; 3; 2; 4; 5]
+               ; [8; 6; 4; 4; 1]
+               ; [1; 3; 6; 7; 9] ]
+               2 ] )
+    ; ( "test report safety check"
+      , [ test_case "all increasing" `Quick
+          @@ test_report_safety_check [1; 2; 3] true
+        ; test_case "all decreasing" `Quick
+          @@ test_report_safety_check [3; 2; 1] true
+        ; test_case "increasing and decreasing" `Quick
+          @@ test_report_safety_check [1; 3; 2] false
+        ; test_case "change of at least one" `Quick
+          @@ test_report_safety_check [1; 2; 3] true
+        ; test_case "no change" `Quick
+          @@ test_report_safety_check [1; 1; 2] false
+        ; test_case "change of at most three" `Quick
+          @@ test_report_safety_check [1; 2; 4; 7] true
+        ; test_case "change of at more than three" `Quick
+          @@ test_report_safety_check [1; 5] false ] ) ]
diff --git a/ocaml/test/year2024/day03/dune b/ocaml/test/year2024/day03/dune
new file mode 100644
index 0000000..c4a75c4
--- /dev/null
+++ b/ocaml/test/year2024/day03/dune
@@ -0,0 +1,10 @@
+(tests
+ (names
+   test_part01)
+ (libraries
+   year2024
+   alcotest
+   qcheck-core
+   qcheck-alcotest)
+ (action (run %{test} -e))
+ (modes byte exe))
diff --git a/ocaml/test/year2024/day03/test_part01.ml b/ocaml/test/year2024/day03/test_part01.ml
new file mode 100644
index 0000000..78d04e2
--- /dev/null
+++ b/ocaml/test/year2024/day03/test_part01.ml
@@ -0,0 +1,29 @@
+open Year2024.Day03.Part01
+
+let example_input =
+  "xmul(2,4)%&mul[3,7]!@^do_not_mul(5,5)+mul(32,64]then(mul(11,8)mul(8,5))"
+
+let test_find_mul () =
+  Alcotest.(check (list string))
+    "incorrect mul list found"
+    ["mul(2,4)"; "mul(5,5)"; "mul(11,8)"; "mul(8,5)"]
+    (let result = find_mul example_input in
+     List.map (fun x -> Re2.Match.get_exn x ~sub:(`Index 0)) result )
+
+let test_extract_pairs () =
+  Alcotest.(check (list (pair int int)))
+    "incorrect pairs"
+    [(2, 4); (5, 5); (11, 8); (8, 5)]
+    (let matches = find_mul example_input in
+     extract_pairs matches )
+
+let test_solve () = Alcotest.(check int) "" 161 @@ solve example_input
+
+let () =
+  let open Alcotest in
+  run "test suite for day 3 part 1"
+    [ ( "test implementation"
+      , [ test_case "muls extracted from example correctly" `Quick
+          @@ test_find_mul
+        ; test_case "pairs extracted from matches" `Quick @@ test_extract_pairs
+        ; test_case "example correctly solved" `Quick @@ test_solve ] ) ]
diff --git a/ocaml/test/year2024/day04/dune b/ocaml/test/year2024/day04/dune
new file mode 100644
index 0000000..c4a75c4
--- /dev/null
+++ b/ocaml/test/year2024/day04/dune
@@ -0,0 +1,10 @@
+(tests
+ (names
+   test_part01)
+ (libraries
+   year2024
+   alcotest
+   qcheck-core
+   qcheck-alcotest)
+ (action (run %{test} -e))
+ (modes byte exe))
diff --git a/ocaml/test/year2024/day04/test_part01.ml b/ocaml/test/year2024/day04/test_part01.ml
new file mode 100644
index 0000000..5776e49
--- /dev/null
+++ b/ocaml/test/year2024/day04/test_part01.ml
@@ -0,0 +1,141 @@
+open Year2024.Day04.Part01
+
+let example_input =
+  [ "MMMSXXMASM"
+  ; "MSAMXMSMSA"
+  ; "AMXSXMAAMM"
+  ; "MSAMASMSMX"
+  ; "XMASAMXAMM"
+  ; "XXAMMXXAMA"
+  ; "SMSMSASXSS"
+  ; "SAXAMASAAA"
+  ; "MAMMMXMMMM"
+  ; "MXMXAXMASX" ]
+
+let is_in_bounds_tests =
+  let test_is_in_bounds expected length index _ =
+    let actual = is_in_bounds length index in
+    assert_equal ~printer:string_of_bool expected actual
+  in
+  [ "not in bounds if below 0" >:: test_is_in_bounds false 1 (-1)
+  ; "in bounds if gte 0 and lt length" >:: test_is_in_bounds true 1 0
+  ; "not in bounds if eq length" >:: test_is_in_bounds false 1 1
+  ; "not in bounds if gt length" >:: test_is_in_bounds false 1 2 ]
+
+let calculate_num_of_matches_tests =
+  let test_calculate_num_of_matches expected line row_offset character _ =
+    let actual = calculate_num_of_matches line row_offset character in
+    assert_equal ~printer:string_of_int expected actual
+  in
+  [ "is 0 when no matches present"
+    >:: test_calculate_num_of_matches 0 "SMMX" 1 {index= 3; character= 'X'}
+  ; "is 1 when only one match present - top to bottom"
+    >::
+    (*
+      |.|X|.|
+      |.|M|.|
+      |.|A|.|
+      |.|S|.|
+    *)
+    test_calculate_num_of_matches 1 ".X..M..A..S." 3 {index= 1; character= 'X'}
+  ; "is 1 when only one match present - top to bottom edge"
+    >::
+    (*
+      |X|.|.|
+      |M|.|.|
+      |A|.|.|
+      |S|.|.|
+    *)
+    test_calculate_num_of_matches 1 "X..M..A..S.." 3 {index= 0; character= 'X'}
+  ; "is 1 when only one match present - bottom to top"
+    >::
+    (*
+      |.|S|.|
+      |.|A|.|
+      |.|M|.|
+      |.|X|.|
+    *)
+    test_calculate_num_of_matches 1 ".S..A..M..X." 3 {index= 10; character= 'X'}
+  ; "is 1 when only one match present - left to right"
+    >::
+    (*
+      |X|M|A|S|
+    *)
+    test_calculate_num_of_matches 1 "XMAS" 4 {index= 0; character= 'X'}
+  ; "is 1 when only one match present - right to left"
+    >::
+    (*
+      |S|A|M|X|
+    *)
+    test_calculate_num_of_matches 1 "SAMX" 4 {index= 3; character= 'X'}
+  ; "is 1 when only one match present - bottom right to top left"
+    >::
+    (*
+      |S|.|.|.|
+      |.|A|.|.|
+      |.|.|M|.|
+      |.|.|.|X|
+    *)
+    test_calculate_num_of_matches 1 "S....A....M....X" 4
+      {index= 15; character= 'X'}
+  ; "is 1 when only one match present - top left to bottom right"
+    >::
+    (*
+      |X|.|.|.|
+      |.|M|.|.|
+      |.|.|A|.|
+      |.|.|.|S|
+    *)
+    test_calculate_num_of_matches 1 "X....M....A....S" 4
+      {index= 0; character= 'X'}
+  ; "is 1 when only one match present - bottom left to top right"
+    >::
+    (*
+      |.|.|.|S|
+      |.|.|A|.|
+      |.|M|.|.|
+      |X|.|.|.|
+    *)
+    test_calculate_num_of_matches 1 "...S..A..M..X..." 4
+      {index= 12; character= 'X'}
+  ; "is 1 when only one match present - top right to bottom left"
+    >::
+    (*
+      |.|.|.|X|
+      |.|.|M|.|
+      |.|A|.|.|
+      |S|.|.|.|
+    *)
+    test_calculate_num_of_matches 1 "...X..M..A..S..." 4
+      {index= 3; character= 'X'}
+  ; "is 8 when matches present in all possible directions"
+    >::
+    (*
+            |S|.|.|S|.|.|S|
+            |.|A|.|A|.|A|.|
+            |.|.|M|M|M|.|.|
+            |S|A|M|X|M|A|S|
+            |.|.|M|M|M|.|.|
+            |.|A|.|A|.|A|.|
+            |S|.|.|S|.|.|S|
+    *)
+    test_calculate_num_of_matches 8
+      "S..S..S.A.A.A...MMM..SAMXMAS..MMM...A.A.A.S..S..S" 7
+      {index= 24; character= 'X'} ]
+
+let solve_tests =
+  let test_solve have want () =
+    let actual = solve have in
+    Alcotest.(check int) "incorrect solution" want actual
+  in
+  [ ( "test solution"
+    , [ Alcotest.test_case "example is solved correctly" `Quick
+        @@ test_solve example_input 18
+      ; Alcotest.test_case "minimal example is solved correctly" `Quick
+        @@ test_solve ["..X..."; ".SAMX."; ".A..A."; "XMAS.S"; ".X...."] 4 ] )
+  ]
+
+let () =
+  let open Alcotest in
+  run "test suite for day 4 part 1" is_in_bounds_tests
+  @ calculate_num_of_matches_tests @ solve_tests