search

advancedtelematic / quickcheck-state-machine

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

Towards being able to handle crashing processes. #317

Closed stevana closed 5 years ago

stevana commented 5 years ago

See #162 for details.

kderme commented 5 years ago

@stevana does this resolve the error simplify: impossible, because of the structure of linearise. which sometimes appear when there is some Exception?

stevana commented 5 years ago

@kderme: no, that error should never happen -- please open a ticket if you see it.