When implementing property-based testing, when should I use an input generator over a precondition expression?
Are there performance considerations when selecting a particular option?
Internally, does one method inevitably use the other?
I would think that a precondition expression would take longer to execute in comparison to an input generator. Has anyone tested this?
Why would we need both?