
7 Oct
2015
7 Oct
'15
1:01 p.m.
Op 7-10-2015 om 18:32 schreef Rogan Creswick:
On Wed, Oct 7, 2015 at 12:13 AM, Roelof Wobben
wrote: I know that if three numbers are the same then the outcome will be false. The same if two numbers are the same.
Can I not do something like this :
prop_different x y z = not( (x /= y && y /= z && x /= z))
to test all cases at once. That looks like it will work (I'm assuming you're actually calling your function in the property and comparing with that boolean expression); is that the same way your function is implemented?
--Rogan
Unfortanally yes but I do not know another way to test it. Im only a beginner which has read 2 chapters of the Crafts book. Roelof