View raw

1 (** Test harness entry point. 2 3 Suites are ordered as the modules layer: vocabulary, then what is 4 prescribed, then what was performed, then what it means, then the 5 application service that orchestrates them, then serialization, durable 6 storage, and the web tier. *) 7 8 let () = 9 Alcotest.run "hito" 10 (Test_exercise.suite @ Test_recovery.suite @ Test_prescription.suite 11 @ Test_evidence.suite @ Test_progression.suite @ Test_service.suite 12 @ Test_codec.suite @ Test_sqlite_repo.suite @ Test_decode.suite 13 @ Test_web.suite) 14