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"]} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment