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.1 |
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.1@sha256:e4d9502edfef39545eda9bdaa94b0d3f12bf6c0392f5658bb8da3237a9615ee2,2874
Module documentation for 0.1.0.1
Depends on 5 packages(full list with versions):
Used by 1 package in lts-6.32(full list with versions):