[Haskell-cafe] quickCheck problem
Ozgur Akgun
ozgurakgun at gmail.com
Wed Oct 7 18:33:32 UTC 2015
On 7 October 2015 at 19:25, Rogan Creswick <creswick at gmail.com> wrote:
> Then I'd suggest using the quickcheck property guards ( `==>`) to only
> generate inputs that are known to be equal, or not equal and test
> separately in a few different properties.
>
This is not true, ==> still does generate and test.
Prelude> import Test.QuickCheck
Prelude Test.QuickCheck> let f x = x == 13 ==> mod x 2 == 1
Prelude Test.QuickCheck> quickCheck f
*** Gave up! Passed only 6 tests.
Also try verboseCheck to see what values are generated.
Ozgur
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151007/e1cd9407/attachment-0001.html>
More information about the Haskell-Cafe
mailing list