From cdb7ffe804ca19aee935af090f76c9eb83cbce14 Mon Sep 17 00:00:00 2001 From: Lukasz Kasprzak Date: Fri, 31 Jul 2026 14:04:22 +0200 Subject: 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. --- test/test_colitur.ml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'test/test_colitur.ml') 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_.ml. *) +let () = Alcotest.run "colitur" [ Test_date.suite ] -- cgit v1.3