diff options
| author | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:04:22 +0200 |
|---|---|---|
| committer | Lukasz Kasprzak <lukas@labunix.xyz> | 2026-07-31 14:04:22 +0200 |
| commit | cdb7ffe804ca19aee935af090f76c9eb83cbce14 (patch) | |
| tree | 68dcf9989d7e394866bcfe3e62ae6c3075339b35 /test/test_colitur.ml | |
| parent | e94eeaa19627a9a0f235baf110780c9fb564ca2b (diff) | |
| download | colitur-cdb7ffe804ca19aee935af090f76c9eb83cbce14.tar.gz colitur-cdb7ffe804ca19aee935af090f76c9eb83cbce14.zip | |
kernel(date): proleptic Gregorian date, validated make + arithmetic
Hinnant civil<->days rep (1970-epoch rata die); make validates month/day and
the 1583..9999 domain; of_rata/add_days are total arithmetic. Weekday, compare.
Tested: known weekdays, leap boundaries, rejects; qcheck round-trip / add-inverse
/ weekday-cycle properties over random in-range dates.
Diffstat (limited to 'test/test_colitur.ml')
| -rw-r--r-- | test/test_colitur.ml | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/test/test_colitur.ml b/test/test_colitur.ml index 7fc5239..734257c 100644 --- a/test/test_colitur.ml +++ b/test/test_colitur.ml @@ -1,5 +1,2 @@ -(* 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 () -> ()) ]) ] +(* Aggregating test runner. Per-module suites live in test_<module>.ml. *) +let () = Alcotest.run "colitur" [ Test_date.suite ] |