12 Nov
2012
12 Nov
'12
4:14 p.m.
On Mon, Nov 12, 2012 at 07:21:06PM +0000, graham@fatlazycat.com wrote:
Hi,
Trying to find some good docs on QuickCheck, if anyone has one ?
Been scanning what I can find, but a question.
What would be the best way to generate two different/distinct integers ?
I would use Quickcheck's implication operator here: quickCheck $ \x y -> x /= (y :: Int) ==> ... Cheers, Simon