search

advancedtelematic / quickcheck-state-machine

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

Rename overflow properties and bump maxSuccess for overflow.4-threads. #333

Closed stevana closed 5 years ago

stevana commented 5 years ago

Part of fixing #327.