Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support exhaustive generation if number of permutations <= number of tests #423

Open
cmeeren opened this issue Nov 5, 2022 · 1 comment
Open

Support exhaustive generation if number of permutations <= number of tests #423

cmeeren opened this issue Nov 5, 2022 · 1 comment

Comments

@cmeeren
Copy link
Contributor

cmeeren commented Nov 5, 2022

I came across a blog post on property testing that used jqwik. It seems to have some nice functionality that would be great to have in Hedgehog.

One useful feature is exhaustive generation: If jqwik sees that it can generate all permutations of the inputs with at most the specified (or default) number of tests, it generates all permutations instead of random values. It would be great to have this functionality in Hedgehog.
@moodmosaic
Copy link
Member

It would be very nice to have. Unsure off the top of my head how it can be modeled with Range. Any thoughts?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@moodmosaic @cmeeren