Avoid uncommon nightly failures (#96)

MaximilianAlgehed · web-flow · commit a7d39bcffc9a · 2025-11-26T10:30:28.000+01:00
diff --git a/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs b/quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs
@@ -354,5 +354,5 @@ tests =
     , testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry
     , testProperty "canRegister" $ propDL canRegister
     , testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister
-    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor
+    , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_parRegistryIOSimPor
     ]
diff --git a/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs b/quickcheck-dynamic/test/Test/QuickCheck/StateModelSpec.hs
@@ -44,7 +44,7 @@ tests =
         prop_longSequences
     , testProperty
         "IOSimPor finds counterexample in parallel counters"
-        $ expectFailure prop_counter_parIOSimPor
+        $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_counter_parIOSimPor
     ]
 
 captureTerminal :: Testable p => p -> IO Result

Original file line number	Diff line number	Diff line change
`@@ -354,5 +354,5 @@ tests =`
`354`	`354`	`, testProperty "moreActions 10 $ prop_Registry" $ moreActions 10 $ prop_Registry`
`355`	`355`	`, testProperty "canRegister" $ propDL canRegister`
`356`	`356`	`, testProperty "canRegisterNoUnregister" $ expectFailure $ propDL canRegisterNoUnregister`
`357`		`- , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 1000 $ discardAfter 1000 $ prop_parRegistryIOSimPor`
	`357`	`+ , testProperty "prop_parRegistryIOSimPor" $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_parRegistryIOSimPor`
`358`	`358`	`]`
Original file line number	Diff line number	Diff line change
`@@ -44,7 +44,7 @@ tests =`
`44`	`44`	`prop_longSequences`
`45`	`45`	`, testProperty`
`46`	`46`	`"IOSimPor finds counterexample in parallel counters"`
`47`		`- $ expectFailure prop_counter_parIOSimPor`
	`47`	`+ $ expectFailure $ withMaxSuccess 10000 $ discardAfter 1000 $ prop_counter_parIOSimPor`
`48`	`48`	`]`
`49`	`49`
`50`	`50`	`captureTerminal :: Testable p => p -> IO Result`