3 Dec
2007
3 Dec
'07
4:12 p.m.
On 12/3/07, Don Stewart
I wish I could use QuickCheck to write an actual unit test: that is, an executable program that returns 0 on success, and non-zero on failure. Then we could put these properties in the tests/ directory, and have them automatically executed. Is anyone working on such a feature for QuickCheck?
The 'quickCheck' function does this, iirc.
cat foo.hs import Test.QuickCheck
I don't think so. I do: main = quickCheck False
runhaskell foo.hs Falsifiable, after 0 tests: echo $? 0
As far as I can see, quickCheck never causes an error exit to happen. And it doesn't even return IO Bool, so I can't use quickCheck to write my own function that calls System.Exit.exitFailure