Increase maxSuccess to 1000 for the CrashAndLogicBugParallel property.

advancedtelematic · Jun 19, 2019 · 27e4138 · 27e4138
1 parent 59f7e88
commit 27e4138
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/test/Spec.hs b/test/Spec.hs
@@ -51,8 +51,9 @@ tests docker0 = testGroup "Tests"
       , testProperty "LogicBug"          (expectFailure (prop_sequential Logic))
       , testProperty "RaceBugSequential"                (prop_sequential Race)
       , testProperty "RaceBugParallel"   (expectFailure (prop_parallel   Race))
-      , testProperty "CrashBugParallel"                        (prop_parallel' Crash)
-      , testProperty "CrashAndLogicBugParallel" (expectFailure (prop_parallel' CrashAndLogic))
+      , testProperty "CrashBugParallel"                 (prop_parallel'  Crash)
+      , testProperty "CrashAndLogicBugParallel"
+          (expectFailure (withMaxSuccess 1000 (prop_parallel' CrashAndLogic)))
       , testProperty "PreconditionFailed" prop_precondition
       , testProperty "ExistsCommands"     prop_existsCommands
       ]