mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-11-26 20:30:30 +03:00
tasty-dejafu-0.5.0.0
This commit is contained in:
parent
9af76cc4f2
commit
2d97030abe
@ -7,8 +7,10 @@ This project is versioned according to the [Package Versioning Policy](https://p
|
||||
*de facto* standard Haskell versioning scheme.
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
0.5.0.0 [2017-04-08] (git tag: [tasty-dejafu-0.5.0.0][])
|
||||
-------
|
||||
|
||||
https://hackage.haskell.org/package/tasty-dejafu-0.5.0.0
|
||||
|
||||
### Test.Tasty.DejaFu
|
||||
|
||||
@ -18,6 +20,9 @@ unreleased
|
||||
|
||||
- There is now a changelog.
|
||||
- Every definition and instance now has a Haddock "@since" annotation.
|
||||
- Only dejafu 0.6 is supported.
|
||||
|
||||
[tasty-dejafu-0.5.0.0]: https://github.com/barrucadu/dejafu/releases/tag/tasty-dejafu-0.5.0.0
|
||||
|
||||
|
||||
---------------------------------------------------------------------------------------------------
|
||||
|
@ -129,7 +129,7 @@ instance IsOption MemType where
|
||||
optionName = Tagged "memory-model"
|
||||
optionHelp = Tagged "The memory model to use. This should be one of \"sc\", \"tso\", or \"pso\"."
|
||||
|
||||
-- | @since unreleased
|
||||
-- | @since 0.5.0.0
|
||||
instance IsOption Way where
|
||||
defaultValue = defaultWay
|
||||
parseValue = shortName . map toUpper where
|
||||
@ -159,7 +159,7 @@ testAuto = testAutoWay defaultWay defaultMemType
|
||||
-- | Variant of 'testAuto' which tests a computation under a given
|
||||
-- execution way and memory model.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testAutoWay :: (Eq a, Show a)
|
||||
=> Way
|
||||
-- ^ How to execute the concurrent program.
|
||||
@ -178,7 +178,7 @@ testAutoIO = testAutoWayIO defaultWay defaultMemType
|
||||
|
||||
-- | Variant of 'testAutoWay' for computations which do 'IO'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testAutoWayIO :: (Eq a, Show a)
|
||||
=> Way -> MemType -> Conc.ConcIO a -> TestTree
|
||||
testAutoWayIO way memtype concio =
|
||||
@ -208,7 +208,7 @@ testDejafu = testDejafuWay defaultWay defaultMemType
|
||||
-- | Variant of 'testDejafu' which takes a way to execute the program
|
||||
-- and a memory model.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testDejafuWay :: Show a
|
||||
=> Way
|
||||
-- ^ How to execute the concurrent program.
|
||||
@ -240,7 +240,7 @@ testDejafus = testDejafusWay defaultWay defaultMemType
|
||||
-- | Variant of 'testDejafus' which takes a way to execute the program
|
||||
-- and a memory model.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testDejafusWay :: Show a
|
||||
=> Way
|
||||
-- ^ How to execute the concurrent program.
|
||||
@ -261,7 +261,7 @@ testDejafuIO = testDejafuWayIO defaultWay defaultMemType
|
||||
|
||||
-- | Variant of 'testDejafuWay' for computations which do 'IO'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testDejafuWayIO :: Show a
|
||||
=> Way -> MemType -> Conc.ConcIO a -> TestName -> Predicate a -> TestTree
|
||||
testDejafuWayIO way memtype concio name p =
|
||||
@ -275,7 +275,7 @@ testDejafusIO = testDejafusWayIO defaultWay defaultMemType
|
||||
|
||||
-- | Variant of 'dejafusWay' for computations which do 'IO'.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 0.5.0.0
|
||||
testDejafusWayIO :: Show a
|
||||
=> Way -> MemType -> Conc.ConcIO a -> [(TestName, Predicate a)] -> TestTree
|
||||
testDejafusWayIO = testio
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: tasty-dejafu
|
||||
version: 0.4.0.0
|
||||
version: 0.5.0.0
|
||||
synopsis: Deja Fu support for the Tasty test framework.
|
||||
|
||||
description:
|
||||
@ -30,14 +30,14 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: tasty-dejafu-0.4.0.0
|
||||
tag: tasty-dejafu-0.5.0.0
|
||||
|
||||
library
|
||||
exposed-modules: Test.Tasty.DejaFu
|
||||
-- other-modules:
|
||||
-- other-extensions:
|
||||
build-depends: base >=4.8 && <5
|
||||
, dejafu >=0.5 && <0.6
|
||||
, dejafu >=0.6 && <0.7
|
||||
, random >=1.0 && <1.2
|
||||
, tagged >=0.8 && <0.9
|
||||
, tasty >=0.10 && <0.12
|
||||
|
Loading…
Reference in New Issue
Block a user