2009/7/27 Ahn, Ki Yung :
> How should I you use QuickCheck for testing a property that is a nested
> implecation such as (A ==> B) ==> C ?
You could use the classical equivalence (A ==> B) <=> (~A \/ B). I'm
not sure you would get very much out of the implication strategy for
the nested one, anyw
How should I use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?
The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property rather than Testable prop => prop -> prop ->
Property. So, A ==> (B ==> C) would work but (A
How should I you use QuickCheck for testing a property that is a nested
implecation such as (A ==> B) ==> C ?
The problem is (==>) in QuickCheck is that its type is Testable prop =>
Bool -> prop -> Property rather than Testable prop => prop -> prop ->
Property. So, A ==> (B ==> C) would work but
