2 Aug
2020
2 Aug
'20
4:49 p.m.
On Sat, 1 Aug 2020, Henning Thielemann wrote:
There is still a problem: A failing QuickCheck test does not abort the whole test-suite. 'cabal test' will report success even if one QuickCheck property test fails. I wonder what is the proposed way to make a failing property fail the test-suite? I could use (QC.whenFail exitFailure). Is this the intended way?
(whenFail exitFailure) would not even help. QuickCheck catches it and keeps going. :-(