Reduce intermittent test failures in constrained-generators

Increase the timeout in prop_univSound
IntersectMBO · Oct 23, 2024 · 96d0c3d · 96d0c3d
1 parent 5357a85
commit 96d0c3d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libs/constrained-generators/src/Constrained/Properties.hs b/libs/constrained-generators/src/Constrained/Properties.hs
@@ -102,7 +102,7 @@ prop_univSound (TestableFn fn) =
             let sspec = simplifySpec (propagateSpecFun fn ctx spec)
              in QC.counterexample ("\n" ++ show ("propagateSpecFun fn ctx spec =" /> pretty sspec)) $
                   QC.counterexample ("\n" ++ show (prettyPlan sspec)) $
-                    QC.within 10_000_000 $
+                    QC.within 20_000_000 $
                       QC.forAllBlind (strictGen $ genFromSpecT @_ @_ sspec) $ \ge ->
                         fromGEDiscard $ do
                           a <- ge