issues
search
advancedtelematic
/
quickcheck-state-machine
Test monadic programs using state machine based models
Other
203
stars
25
forks
source link
Sometimes there can be multiple counterexamples in a parallel property.
#244
Closed
stevana
closed
5 years ago