Skip to content
This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

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

Open
stevana opened this issue Jan 10, 2019 · 0 comments
Open

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

stevana opened this issue Jan 10, 2019 · 0 comments
Labels
discussion enhancement

Comments

@stevana
Copy link
Collaborator

stevana commented Jan 10, 2019

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.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
discussion enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@stevana