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
Version on this page: | 0.1.0.0 |
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.1.0.0@sha256:bd58d8aa6c8c14f53972647fad143d887b3dcfa129fdff198e25e82d19592fbe,2801
Module documentation for 0.1.0.0
Depends on 5 packages(full list with versions):
Used by 1 package in nightly-2016-05-16(full list with versions):