diff options
| author | DJ O'Leary <dijitol@proton.me> | 2025-12-13 03:06:38 +0100 |
|---|---|---|
| committer | DJ O'Leary <dijitol@proton.me> | 2025-12-13 03:06:38 +0100 |
| commit | bd10ab845c8fb630c57730fb56fc9c525f33fd36 (patch) | |
| tree | a1ed34b85aa42557195259803b02dacbf9479e2a /2025/ocaml/test/domain/dune | |
| parent | 0f2faca977da2d24c8a654d9d9ef4b2581c673a1 (diff) | |
test(2025d3): add property tests
Diffstat (limited to '2025/ocaml/test/domain/dune')
| -rw-r--r-- | 2025/ocaml/test/domain/dune | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/2025/ocaml/test/domain/dune b/2025/ocaml/test/domain/dune index 5a6222d..45b979d 100644 --- a/2025/ocaml/test/domain/dune +++ b/2025/ocaml/test/domain/dune @@ -5,4 +5,6 @@ test_d03p01) (libraries domain - alcotest)) + alcotest + qcheck-core + qcheck-alcotest)) |