When I use these two together, I get stuck in an infinite loop instead. I created a minimal project reproducing this behavoir. I would expect it to behave as the java docs say, which is that withTestingTime() would apply and end the tests, but it does not.
When I use these two together, I get stuck in an infinite loop instead. I created a minimal project reproducing this behavoir. I would expect it to behave as the java docs say, which is that withTestingTime() would apply and end the tests, but it does not.
Please see here:
https://github.com/yongk802/quicktheory-unlimited-test
We're working around it by just using withExamples() and giving it a high number.
Thanks!