[QuickCheck] How to evaluate a Property?
Bryan O'Sullivan
bos at serpentine.com
Fri Jun 13 21:26:43 BST 2014
A downside of switching from Bool-typed to Property-typed tests is that I
have no idea how to evaluate a Property by hand at the ghci command line.
If I'm doing some narrowly directed testing by hand while I iterate on a
bug, that can significantly slow me down.
I realise that this is probably not achievable in general, but for instance
many of my tests are simple ones involving (===), (.&&.) and the like, with
no fanciness needed.
Thanks!
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://projects.haskell.org/pipermail/quickcheck/attachments/20140613/72022177/attachment.htm>
More information about the QuickCheck
mailing list