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.

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

Smarter handling of edge cases #422

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

Smarter handling of edge cases #422

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 generation of edge cases. jqwik intelligently knows about edge cases (even when combining/mapping generators) and makes sure to mix them in from time to time, or even optionally try them before other generated values. It would be great to have this functionality in Hedgehog. If not the latter, then at least the mixing in of edge cases could be useful.

@moodmosaic
Copy link
Member

This is nice to have in Hedgehog. Also fast-check supports this. In Hedgehog this could be done via a new Range, so in addition to constant, linear, exponential, there could be a Lyapunov/chaotic/biased one that behaves like that.

Perhaps Range.biased is the friendliest name of all, inspired from fast-check.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants