search

advancedtelematic / quickcheck-state-machine

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

Add link to Wire test, MGS course and C FFI circular buffer example. #357

Closed stevana closed 4 years ago

stevana commented 4 years ago

Works, thanks @rdanitz!

stevana commented 4 years ago

Another minimal state machine testing implementation: https://github.com/UlfNorell/statem-laws/blob/master/Registry.hs