Make PBT computes_a_fixpoint adjustable

ucsd-progsys · Dec 15, 2023 · 2bd985a · 2bd985a
1 parent 04e4300
commit 2bd985a
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/tests/tasty/InterpretTests.hs b/tests/tasty/InterpretTests.hs
@@ -5,7 +5,7 @@ import Language.Fixpoint.Types.Refinements (Expr (..))
 import qualified SimplifyInterpreter
 import Test.Tasty
   ( TestTree,
-    localOption,
+    adjustOption,
     testGroup,
   )
 import Test.Tasty.QuickCheck
@@ -24,7 +24,10 @@ tests =
       [ testProperty "computes a fixpoint" (prop_fixpoint SimplifyInterpreter.interpret')
       ]
   where
-    withOptions tests' = localOption (QuickCheckMaxSize 4) (localOption (QuickCheckTests 500) tests')
+    withOptions tests' =
+      adjustOption (\(QuickCheckMaxSize n) -> QuickCheckMaxSize (div n 4)) $
+      adjustOption (\(QuickCheckTests n) -> QuickCheckTests (n * 20)) $
+      tests'
 
 prop_fixpoint :: (Expr -> Expr) -> Expr -> Property
 prop_fixpoint f e = f e === f (f e)