We should check for the mock-semantic mismatch before writing the

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models

Other

203 stars 25 forks source link

We should check for the mock-semantic mismatch before writing the #291

Closed stevana closed 5 years ago

stevana commented 5 years ago

response to the history.

balajirrao commented 5 years ago

Looks good.

To make it more obviously correct, I would refactor the go to have the two writeTChans at only once place to make it easy to see that exactly two things are written to the channel in all cases.