<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 7 October 2015 at 19:25, Rogan Creswick <span dir="ltr"><<a href="mailto:creswick@gmail.com" target="_blank">creswick@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div id=":2li" class="" style="overflow:hidden">Then I'd suggest using the quickcheck property guards ( `==>`) to only<br>
generate inputs that are known to be equal, or not equal and test<br>
separately in a few different properties.</div></blockquote><div><br></div><div>This is not true, ==> still does generate and test.</div><div><br></div><div>Prelude> import Test.QuickCheck</div><div>Prelude Test.QuickCheck> let f x = x == 13 ==> mod x 2 == 1</div><div>Prelude Test.QuickCheck> quickCheck f</div><div>*** Gave up! Passed only 6 tests. </div></div><div class="gmail_extra"><br></div>Also try verboseCheck to see what values are generated.<br clear="all"><div><br></div><div>Ozgur</div><div><br></div>
</div></div>