hunit-dejafu 1.0.0.0 → 1.0.1.0

raw patch · 3 files changed

+37/−2 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• CHANGELOG.markdown +17/−0
• Test/HUnit/DejaFu.hs +18/−0
• hunit-dejafu.cabal +2/−2

@@ -7,6 +7,23 @@ *de facto* standard Haskell versioning scheme.  +1.0.1.0+-------++- **Date**    2018-02-13+- **Git tag** [hunit-dejafu-1.0.1.0][]+- **Hackage** https://hackage.haskell.org/package/hunit-dejafu-1.0.1.0++### Test.HUnit.DejaFu++- New `testDejafusDiscard` function (#200).++[hunit-dejafu-1.0.1.0]: https://github.com/barrucadu/dejafu/releases/tag/hunit-dejafu-1.0.1.0+++---------------------------------------------------------------------------------------------------++ 1.0.0.0 ------- 

@@ -213,6 +213,24 @@   -> Test testDejafusWay = testconc (const Nothing) +-- | Variant of 'testDejafusWay' which can selectively discard+-- results, beyond what each predicate already discards.+--+-- @since 1.0.1.0+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.+  -> [(String, ProPredicate a b)]+  -- ^ The list of predicates (with names) to check.+  -> Conc.ConcIO a+  -- ^ The computation to test.+  -> Test+testDejafusDiscard = testconc+  ------------------------------------------------------------------------------- -- Refinement property testing

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                hunit-dejafu-version:             1.0.0.0+version:             1.0.1.0 synopsis:            Deja Fu support for the HUnit test framework.  description:@@ -30,7 +30,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      hunit-dejafu-1.0.0.0+  tag:      hunit-dejafu-1.0.1.0  library   exposed-modules:     Test.HUnit.DejaFu