search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
203 stars 25 forks source link

Show counterexample when parallel property fails. #231

Closed stevana closed 6 years ago

stevana commented 6 years ago

/cc @dnadales