[Tests] Disable property tests

TDacik · Jan 18, 2025 · 47eb759 · 47eb759
1 parent 117495e
commit 47eb759
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/dune b/tests/dune
@@ -23,7 +23,7 @@
     ;Simplifier_tests
     RemoveVariadic_tests
 
-    Property_tests
+    ;Property_tests
   )
 
   (modules_without_implementation testable_sig)