Update property tests to use RecursionDepth

SophieBosio · May 2, 2024 · 6107916 · 6107916
1 parent d7ba5d9
commit 6107916
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/PropertyCheckerTests.hs b/test/PropertyCheckerTests.hs
@@ -1,6 +1,7 @@
 module PropertyCheckerTests where
 
 import Core.Syntax
+import Validation.Formula         (defaultRecDepth)
 import Validation.PropertyChecker
 
 import Test.Tasty
@@ -20,15 +21,15 @@ simple =
 -- Helpers
 satisfiable :: Term Type -> Assertion
 satisfiable prop =
-  do let f = generateFormula End prop
+  do let f = generateFormula defaultRecDepth End prop
      (ThmResult result) <- prove f
      case result of
        Unsatisfiable _ _ -> return ()
        _                 -> assertFailure "Should be satisfiable."
 
 unsatisfiable :: Term Type -> Assertion
 unsatisfiable prop =
-  do let f = generateFormula End prop
+  do let f = generateFormula defaultRecDepth End prop
      (ThmResult result) <- prove f
      case result of
        Satisfiable _ _ -> return ()