Closed coot closed 3 years ago
is there a way to fix this?
Not really — see https://github.com/UnkindPartition/tasty#faq.
I wonder if https://github.com/UnkindPartition/tasty/pull/245 does what you need. Perhaps you could rebase/review/revive that PR instead?
Subsumed by #311.
There are some problems with it. When running multiple tests from a test suite the console output becomes messy (is there a way to fix this?), nevertheless I find this option useful when running a specific test with a large value of
--quickcheck-tests
.