search

advancedtelematic / quickcheck-state-machine

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

Meta-property that checks that any result of shrinking should be possible to generate #264

Open stevana opened 5 years ago

stevana commented 5 years ago

Perhaps we can provide the user with a meta-property that checks that any result of shrinking should be possible to generate. (This is kind of what Hedgehog-style shrinking gets for free).

See #263 for discussion and the following tweet about how they do it in Erlang's eqc.