From bd10ab845c8fb630c57730fb56fc9c525f33fd36 Mon Sep 17 00:00:00 2001
From: DJ O'Leary <dijitol@proton.me>
Date: Sat, 13 Dec 2025 03:06:38 +0100
Subject: test(2025d3): add property tests

---
 2025/ocaml/test/domain/dune | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '2025/ocaml/test/domain/dune')

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))
-- 
cgit v1.2.3