Deprecated
In favour of
dpor
A generic implementation of dynamic partial-order reduction (DPOR) for testing arbitrary models of concurrency.
https://github.com/barrucadu/dejafu
LTS Haskell 10.10: | 0.2.0.0 |
Stackage Nightly 2017-12-23: | 0.2.0.0 |
Latest on Hackage: | 0.2.0.0 |
Maintained by [email protected]
This version can be pinned in stack with:
dpor-0.2.0.0@sha256:b844634e0d12dc62cf585a0f53af305fda36d8a32c9b236dfe6e426c4b9b3312,2914
Module documentation for 0.2.0.0
- Test
- Test.DPOR
- Test.DPOR.Internal
- Test.DPOR.Random
- Test.DPOR.Schedule
- Test.DPOR
Depends on 5 packages(full list with versions):