Merge pull request #195 from aherrmann/pr/testDejafusDiscard

Add `testDejafusDiscard`

tasty-dejafu/Test/Tasty/DejaFu.hs

@@ -35,6 +35,7 @@ module Test.Tasty.DejaFu
   , testDejafusWay
 
   , testDejafuDiscard
+  , testDejafusDiscard
 
   -- ** Re-exports
   , Predicate
@@ -246,6 +247,23 @@ testDejafusWay :: Show b
   -> TestTree
 testDejafusWay = testconc (const Nothing)
 
+-- | Variant of 'testDejafusWay' which can selectively discard results.
+--
+-- @since unreleased
+testDejafusDiscard :: Show b
+  => (Either Failure a -> Maybe Discard)
+  -- ^ Selectively discard results.
+  -> Way
+  -- ^ How to execute the concurrent program.
+  -> MemType
+  -- ^ The memory model to use for non-synchronised @CRef@ operations.
+  -> [(TestName, ProPredicate a b)]
+  -- ^ The list of predicates (with names) to check.
+  -> Conc.ConcIO a
+  -- ^ The computation to test.
+  -> TestTree
+testDejafusDiscard = testconc
+
 
 -------------------------------------------------------------------------------
 -- Refinement property testing