rapid_check_invalid_property.hs

prop_gcd_bad :: Integer -> Integer -> Bool
prop_gcd_bad a b = gcd a b > 1

rapidCheck prop_gcd_bad
> Failure {seed = -1437169021,
           counterExample = ["1076253199","40866101"]}