Fix the interaction between `checkCoverage` and `maxSuccess` and `discard`

nick8325 / quickcheck

Automatic testing of Haskell programs.

Other

706 stars 119 forks source link

Fix the interaction between `checkCoverage` and `maxSuccess` and `discard` #383

Closed MaximilianAlgehed closed 3 months ago

MaximilianAlgehed commented 3 months ago

Previously withMaxSuccess was discarded by checkCoverage. This is unfortunate because there are legitimate use cases for having both turned on at the same time. This PR fixes that. Furthermore we fix an unfortunate interaction between discard and checkCoverage.

Closes #382