diff --git a/CHANGELOG.markdown b/CHANGELOG.markdown --- a/CHANGELOG.markdown +++ b/CHANGELOG.markdown @@ -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 ------- diff --git a/Test/HUnit/DejaFu.hs b/Test/HUnit/DejaFu.hs --- a/Test/HUnit/DejaFu.hs +++ b/Test/HUnit/DejaFu.hs @@ -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 diff --git a/hunit-dejafu.cabal b/hunit-dejafu.cabal --- a/hunit-dejafu.cabal +++ b/hunit-dejafu.cabal @@ -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