Closed kderme closed 5 years ago
Signed-off-by: kderme k.dermenz@gmail.com Related issue: https://github.com/advancedtelematic/quickcheck-state-machine/issues/340 I have found this quite useful while debugging. It prints exactly which exception was thrown while running the semantics: ExceptionThrown "\"user error (failed)\"" /= Ok instead of ExceptionThrown /= Ok
ExceptionThrown "\"user error (failed)\"" /= Ok
ExceptionThrown /= Ok
Signed-off-by: kderme k.dermenz@gmail.com Related issue: https://github.com/advancedtelematic/quickcheck-state-machine/issues/340 I have found this quite useful while debugging. It prints exactly which exception was thrown while running the semantics:
ExceptionThrown "\"user error (failed)\"" /= Okinstead ofExceptionThrown /= Ok