
3 Aug
2020
3 Aug
'20
5:34 p.m.
On Mon, 3 Aug 2020, David Feuer wrote:
See https://stackoverflow.com/questions/8976488/quickcheck-exit-status-on-failur...
The gist is that you have to get the results of the QuickCheck test(s) and use them outside the QuickCheck context.
Thank you for the hint! I got a similar hint off-list and already solved the problem this way.