issues
search
advancedtelematic
/
quickcheck-state-machine
Test monadic programs using state machine based models
Other
203
stars
25
forks
source link
Check pre-condition as part of execution.
#251
Closed
stevana
closed
5 years ago