Increase maxSuccess to 3000 for the CrashAndLogicBugParallel property.

advancedtelematic · Jun 19, 2019 · cda082b · cda082b
1 parent 27e4138
commit cda082b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
       ]