diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:02:03 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:02:03 +0200 |
| commit | e94eeaa19627a9a0f235baf110780c9fb564ca2b (patch) | |
| tree | 2279ec29962017b08e0c5222192b0b6763fb9493 /test | |
| parent | 8def55357436b0f6a7265af9e11663d95246e7eb (diff) | |
| download | colitur-e94eeaa19627a9a0f235baf110780c9fb564ca2b.tar.gz colitur-e94eeaa19627a9a0f235baf110780c9fb564ca2b.zip | |
chore: scaffold dune project (kernel lib + cli + tests)
OCaml 5.2.0 local switch; colitur_kernel library, a colitur executable stub,
and an alcotest+qcheck test runner. AGPL LICENSE, README, generated colitur.opam.
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 () -> ()) ]) ] |