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

PROPTEST_MAX_SHRINK_ITERS as u32 is too small #254

Open
kali opened this issue Oct 23, 2021 · 0 comments · May be fixed by #265
Open

PROPTEST_MAX_SHRINK_ITERS as u32 is too small #254

kali opened this issue Oct 23, 2021 · 0 comments · May be fixed by #265
Labels
quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature"

Comments

@kali
Copy link

kali commented Oct 23, 2021

Hey folks, let met just say that first, I love proptest.

One thing is a bit annoying though: I have a few tests with a lots of parameters, and sometimes I cannot completely shrink the examples in u32::MAX iters I need more. And I can't find a way to say "no-limit" to the number of iters, as 0 means "no shrinking".

Is there a workaround for this ?
@kali kali linked a pull request Apr 7, 2022 that will close this issue
Open
@matthew-russo matthew-russo added the quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature" label Dec 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
quality-of-life This issue proposes a change that will improve the UX of proptest but isn't necessarily a "feature"
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

use u64 instead of u32 for max_shrink_iters kali/proptest
2 participants
@kali @matthew-russo