Add timeout from completeness test to soundness test

IntersectMBO · Feb 14, 2024 · b1187df · b1187df
1 parent 8b92bc7
commit b1187df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/constrained-generators/src/Constrained/Test.hs b/libs/constrained-generators/src/Constrained/Test.hs
@@ -218,7 +218,7 @@ testSpec n s = do
     AllSucceed
     [ -- NOTE: during development you want to uncomment the line below:
       -- testProperty "prop_complete" $ within 10_000_000 $ withMaxSuccess 100 $ prop_complete s,
-      testProperty "prop_sound" $ withMaxSuccess 100 $ prop_sound s
+      testProperty "prop_sound" $ within 10_000_000 $ withMaxSuccess 100 $ prop_sound s
     ]
 
 -- Examples ---------------------------------------------------------------