Should size grow faster when the number of tests is small?

[ChickenProp]

I often don't want to run a full set of tests and use NoConfidenceTermination 10. (Specifically I use modifyMaxSuccess (const 10) from hspec-hedgehog). But that means the size never grows above 9, so Range.linear 0 10 will always generate 0, which isn't what I expected. It works out okay if I write my generators expecting a specific number of max-tests, or I can call Gen.scale everywhere. But it would be more convenient if the size would grow to something large in a small number of tests.

Quickcheck does something like this. I don't fully understand the arithmetic but in this case the size would go 0, 10, 20, ..., 90. (n is the test number and d is a discard count.)

I don't think it has an analogue of EarlyTermination or NoEarlyTermination, so hedgehog would need to figure out what to do about that. I don't use these myself, but from what I gather from the code:

• NoEarlyTermination c t still runs exactly t tests, the same as NoConfidenceTermination t, so it could have the same behavior as NoConfidenceTermination.
• EarlyTermination c t actually ignores t and runs at least 100 tests, more if needed for the confidence threshold c, but always some multiple of 100. (Is this intended? It's not what the name suggests to me.) So it could just keep the existing behavior.

So these don't seem like big problems to me.