Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
rapidCheck prop_gcd_bad
> Failure {seed = 1034882204061803680,
counterExample = ["1","0"]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment