mirror of
https://github.com/barrucadu/dejafu.git
synced 2024-09-11 06:25:45 +03:00
Compare commits
2 Commits
69bda35d14
...
4c33222521
Author | SHA1 | Date | |
---|---|---|---|
|
4c33222521 | ||
|
d8a4ebd84b |
@ -45,7 +45,7 @@ There are a few different packages under the Déjà Fu umbrella:
|
||||
| [concurrency][h:conc] | 1.11.0.2 | Typeclasses, functions, and data types for concurrency and STM. |
|
||||
| [dejafu][h:dejafu] | 2.4.0.4 | Systematic testing for Haskell concurrency. |
|
||||
| [hunit-dejafu][h:hunit] | 2.0.0.6 | Deja Fu support for the HUnit test framework. |
|
||||
| [tasty-dejafu][h:tasty] | 2.0.0.9 | Deja Fu support for the Tasty test framework. |
|
||||
| [tasty-dejafu][h:tasty] | 2.1.0.0 | Deja Fu support for the Tasty test framework. |
|
||||
|
||||
Each package has its own README and CHANGELOG in its subdirectory.
|
||||
|
||||
|
@ -30,7 +30,7 @@ There are a few different packages under the Déjà Fu umbrella:
|
||||
":hackage:`concurrency`", "1.11.0.2", "Typeclasses, functions, and data types for concurrency and STM"
|
||||
":hackage:`dejafu`", "2.4.0.4", "Systematic testing for Haskell concurrency"
|
||||
":hackage:`hunit-dejafu`", "2.0.0.6", "Déjà Fu support for the HUnit test framework"
|
||||
":hackage:`tasty-dejafu`", "2.0.0.9", "Déjà Fu support for the tasty test framework"
|
||||
":hackage:`tasty-dejafu`", "2.1.0.0", "Déjà Fu support for the tasty test framework"
|
||||
|
||||
|
||||
Installation
|
||||
|
@ -7,8 +7,11 @@ standard Haskell versioning scheme.
|
||||
.. _PVP: https://pvp.haskell.org/
|
||||
|
||||
|
||||
unreleased
|
||||
----------
|
||||
2.1.0.0 (2022-08-31)
|
||||
--------------------
|
||||
|
||||
* Git: :tag:`tasty-dejafu-2.1.0.0`
|
||||
* Hackage: :hackage:`tasty-dejafu-2.1.0.0`
|
||||
|
||||
Changed
|
||||
~~~~~~~
|
||||
|
@ -146,7 +146,7 @@ instance IsOption Way where
|
||||
-- | Automatically test a computation. In particular, look for
|
||||
-- deadlocks, uncaught exceptions, and multiple return values.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testAuto :: (Eq a, Show a)
|
||||
=> TestName
|
||||
-- ^ The name of the test group.
|
||||
@ -158,7 +158,7 @@ testAuto = testAutoWithSettings defaultSettings
|
||||
-- | Variant of 'testAuto' which tests a computation under a given
|
||||
-- execution way and memory model.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testAutoWay :: (Eq a, Show a)
|
||||
=> Way
|
||||
-- ^ How to execute the concurrent program.
|
||||
@ -173,7 +173,7 @@ testAutoWay way = testAutoWithSettings . fromWayAndMemType way
|
||||
|
||||
-- | Variant of 'testAuto' which takes a settings record.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testAutoWithSettings :: (Eq a, Show a)
|
||||
=> Settings IO a
|
||||
-- ^ The SCT settings.
|
||||
@ -238,7 +238,7 @@ testDejafuWithSettings settings name p concio =
|
||||
-- | Variant of 'testDejafu' which takes a collection of predicates to
|
||||
-- test.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testDejafus :: Show b
|
||||
=> TestName
|
||||
-- ^ The name of the test group.
|
||||
@ -252,7 +252,7 @@ testDejafus = testDejafusWithSettings defaultSettings
|
||||
-- | Variant of 'testDejafus' which takes a way to execute the program
|
||||
-- and a memory model.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testDejafusWay :: Show b
|
||||
=> Way
|
||||
-- ^ How to execute the concurrent program.
|
||||
@ -269,7 +269,7 @@ testDejafusWay way = testDejafusWithSettings . fromWayAndMemType way
|
||||
|
||||
-- | Variant of 'testDejafus' which takes a settings record.
|
||||
--
|
||||
-- @since unreleased
|
||||
-- @since 2.1.0.0
|
||||
testDejafusWithSettings :: Show b
|
||||
=> Settings IO a
|
||||
-- ^ The SCT settings.
|
||||
|
@ -2,7 +2,7 @@
|
||||
-- documentation, see http://haskell.org/cabal/users-guide/
|
||||
|
||||
name: tasty-dejafu
|
||||
version: 2.0.0.9
|
||||
version: 2.1.0.0
|
||||
synopsis: Deja Fu support for the Tasty test framework.
|
||||
|
||||
description:
|
||||
@ -30,7 +30,7 @@ source-repository head
|
||||
source-repository this
|
||||
type: git
|
||||
location: https://github.com/barrucadu/dejafu.git
|
||||
tag: tasty-dejafu-2.0.0.9
|
||||
tag: tasty-dejafu-2.1.0.0
|
||||
|
||||
library
|
||||
exposed-modules: Test.Tasty.DejaFu
|
||||
|
Loading…
Reference in New Issue
Block a user