quickcheck
quickcheck copied to clipboard
'Falsifiable' message missing
> quickCheck (forAllShrink arbitrary (const discard) odd)
*** Failed! (after 1 test):
0
Probably a discard in the shrink list should count as the property passing?