quickcheck-dynamic
A library for testing stateful programs using dynamic logic.
A simple library for stateful property-based testing
A library for testing stateful programs using dynamic logic.
A simple library for stateful property-based testing
Apache License 2.0