diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/dune | 3 | ||||
| -rw-r--r-- | test/test_colitur.ml | 5 |
2 files changed, 8 insertions, 0 deletions
diff --git a/test/dune b/test/dune new file mode 100644 index 0000000..3d8df19 --- /dev/null +++ b/test/dune @@ -0,0 +1,3 @@ +(test + (name test_colitur) + (libraries colitur_kernel alcotest qcheck qcheck-alcotest)) diff --git a/test/test_colitur.ml b/test/test_colitur.ml new file mode 100644 index 0000000..7fc5239 --- /dev/null +++ b/test/test_colitur.ml @@ -0,0 +1,5 @@ +(* Aggregating test runner. Per-module suites (Test_date, Test_computus) are added + in Tasks 1-2; for now the scaffold proves the harness builds and runs. *) +let () = + Alcotest.run "colitur" + [ ("scaffold", [ Alcotest.test_case "harness builds" `Quick (fun () -> ()) ]) ] |