advancedtelematic/quickcheck-state-machine Issues
Read instance for Commands
Closed 2Mock mismatch with semantics
Updated 1Use a generator to init models
Closed 4Testing asynchronous APIs
Updated 3New Release?
Closed 3Towards Jepsen-like tests
Updated 7Fix CI
Updated 2Improve garbage-collection/cleaning-up
Updated 20Towards refinement
Updated 2Fix CI
Closed 15shrinking optimizations
Updated 5Extensible notion of commands
Closed 1Make model available to shrinker
Closed 3Support QuickCheck 2.12
Closed 3What should mock be used for
Closed 5bracketP doesn't work
Closed 8