smallcheck
smallcheck copied to clipboard
Limit the number of tests
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
This has been implemented in tasty-smallcheck-0.8.2
, https://github.com/UnkindPartition/tasty/pull/282.