search

advancedtelematic / quickcheck-state-machine

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

Feat/unified execution #205

Closed stevana closed 6 years ago

stevana commented 6 years ago

This PR picks the good stuff of #198 -- unifies execution of sequential and parallel programs.