From 96d0c3daae6109ca7180e1c9e592eaf586777f01 Mon Sep 17 00:00:00 2001
From: Neil Mayhew <neil.mayhew@iohk.io>
Date: Wed, 23 Oct 2024 15:08:41 -0600
Subject: [PATCH] Reduce intermittent test failures in constrained-generators

Increase the timeout in prop_univSound
---
 libs/constrained-generators/src/Constrained/Properties.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libs/constrained-generators/src/Constrained/Properties.hs b/libs/constrained-generators/src/Constrained/Properties.hs
index 0a984397151..e4db68b680e 100644
--- 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