4 files changed, 79 insertions, 0 deletions
diff --git a/ocaml/test/application/dune b/ocaml/test/application/dune
new file mode 100644
index 0000000..7a90f81
--- /dev/null
+++ b/ocaml/test/application/dune
@@ -0,0 +1,9 @@
+(tests
+ (names
+   test_d01p01
+   test_d01p02
+   test_d04p01)
+ (libraries
+   application
+   domain
+   alcotest))
diff --git a/ocaml/test/application/test_d01p01.ml b/ocaml/test/application/test_d01p01.ml
new file mode 100644
index 0000000..e57db01
--- /dev/null
+++ b/ocaml/test/application/test_d01p01.ml
@@ -0,0 +1,23 @@
+open Application.D01p01
+
+let example_data = {|L68
+L30
+R48
+L5
+R60
+L55
+L1
+L99
+R14
+L82|}
+
+let test_full_given_example () =
+  Alcotest.(check int)
+    "full given example" 3
+    (match solve example_data () with Error _ -> 0 | Ok ans -> ans)
+
+let () =
+  let open Alcotest in
+  run "D01p01"
+    [ ( "given-example"
+      , [test_case "full given example" `Quick test_full_given_example] ) ]
diff --git a/ocaml/test/application/test_d01p02.ml b/ocaml/test/application/test_d01p02.ml
new file mode 100644
index 0000000..bbda035
--- /dev/null
+++ b/ocaml/test/application/test_d01p02.ml
@@ -0,0 +1,23 @@
+open Application.D01p02
+
+let example_data = {|L68
+L30
+R48
+L5
+R60
+L55
+L1
+L99
+R14
+L82|}
+
+let test_full_given_example () =
+  Alcotest.(check int)
+    "full given example" 6
+    (match solve example_data () with Error _ -> 0 | Ok ans -> ans)
+
+let () =
+  let open Alcotest in
+  run "D01p02"
+    [ ( "given-example"
+      , [test_case "full given example" `Quick test_full_given_example] ) ]
diff --git a/ocaml/test/application/test_d04p01.ml b/ocaml/test/application/test_d04p01.ml
new file mode 100644
index 0000000..ffbe102
--- /dev/null
+++ b/ocaml/test/application/test_d04p01.ml
@@ -0,0 +1,24 @@
+open Application.D04p01
+
+let example =
+  {|..@@.@@@@.
+@@@.@.@.@@
+@@@@@.@.@@
+@.@@@@..@.
+@@.@@@@.@@
+.@@@@@@@.@
+.@.@.@.@@@
+@.@@@.@@@@
+.@@@@@@@@.
+@.@.@@@.@.|}
+
+let test_input_to_matrix have want () =
+  Alcotest.(check int) "number of rolls of paper that are accessible" want
+  @@ match solve have () with Error _ -> 0 | Ok ans -> ans
+
+let () =
+  let open Alcotest in
+  run "D04p01"
+    [ ( "given-example"
+      , [test_case "full example" `Quick @@ test_input_to_matrix example 13] )
+    ]