search

advancedtelematic / quickcheck-state-machine

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

Make simplify work for empty interleavings, fixes #318. #319

Closed stevana closed 5 years ago

stevana commented 5 years ago

Signed-off-by: Stevan Andjelkovic stevana@users.noreply.github.com

stevana commented 5 years ago

@kderme: does this fix the problem?

kderme commented 5 years ago

@kderme: does this fix the problem?

Yes seems to fix it. Even if both threads get an exception it still works with something like EitherC BotC BotC