try to discard things more freely

Author: MaximilianAlgehed

quickcheck-dynamic/src/Test/QuickCheck/ParallelActions.hs

@@ -200,7 +200,7 @@ checkTrace s env (Node (TraceStep r v (ActionWithPolarity a _)) trs) =
                                       (polarAction act)
                                       (lookUpVar env')
                                       r
-    in computePrecondition s act && checkPost && (null trs || any (checkTrace s' env') trs)
+    in (computePrecondition s act || discard) && checkPost && (null trs || any (checkTrace s' env') trs)
 
 prepend :: [a] -> [Tree a] -> [Tree a]
 prepend []     ts = ts

quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs

@@ -258,7 +258,7 @@ prop_parRegistryIOSimPor (IOSimActions as) =
 
 monadicIOSimPOR_ :: Testable a => (forall s. PropertyM (IOSim s) a) -> Property
 monadicIOSimPOR_ prop = forAllBlind prop' $ \ p -> exploreSimTrace id p $ \ _ tr ->
-    either (flip counterexample False . show) id $ traceResult False tr
+    either discard id $ traceResult False tr
   where
     prop' :: Gen (forall s. IOSim s Property)
     prop' = do