@hackage / dpor

A generic implementation of dynamic partial-order reduction (DPOR) for testing arbitrary models of concurrency.

Deprecated package0.2.0.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / dejafu A library for unit-testing concurrent programs.
- Version: 2.4.0.8
- Last uploaded: 5 months ago
- License: MIT