diff --git a/test/Spec.hs b/test/Spec.hs index 94316382..c0e8710b 100644 --- a/test/Spec.hs +++ b/test/Spec.hs @@ -53,7 +53,7 @@ tests docker0 = testGroup "Tests" , testProperty "RaceBugParallel" (expectFailure (prop_parallel Race)) , testProperty "CrashBugParallel" (prop_parallel' Crash) , testProperty "CrashAndLogicBugParallel" - (expectFailure (withMaxSuccess 1000 (prop_parallel' CrashAndLogic))) + (expectFailure (withMaxSuccess 3000 (prop_parallel' CrashAndLogic))) , testProperty "PreconditionFailed" prop_precondition , testProperty "ExistsCommands" prop_existsCommands ]