search

advancedtelematic / quickcheck-state-machine

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

Port examples to new runProgram/prettyProgram combinators. #184

Closed stevana closed 7 years ago