search

advancedtelematic / quickcheck-state-machine

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

Allow the generation of commands to stop #256

Closed mrBliss closed 5 years ago

mrBliss commented 5 years ago

Imagine that an (expected) error is thrown during the tests and the tested system is now in a state where it can no longer process new commands. In that case we should be able to gracefully stop the test in progress.

We achieve this by letting the generator return Nothing to indicate that no more commands should be generated.

This supersedes #253 and #254.