search

advancedtelematic / quickcheck-state-machine

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

Change to lts-13, add lts-13 and ghc 8.6.3 to Travis and fix warnings. #261

Closed stevana closed 5 years ago