Merge pull request #4718 from IntersectMBO/nm/constrained-generators-…

…prop_univSound Avoid intermittent test failures in constrained-generators
IntersectMBO · Oct 24, 2024 · fc33d40 · fc33d40
2 parents 5357a85 + 96d0c3d
commit fc33d40
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