Skip to content


Limit the number of tests #13

feuerbach opened this Issue · 1 comment

2 participants


twanvl writes:

The default smallCheck could just have a limit on the number of testcases and report the depth searched:

λ> smallCheck prop_abc
Ok, stopped after 1000 tests, tested all values up to depth 3.

I would also enjoy this feature

@jfischoff jfischoff referenced this issue in feuerbach/tasty

Optionally Treat Timeouts as Success #50

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Something went wrong with that request. Please try again.