Skip to content

Instantly share code, notes, and snippets.

@voila

voila/proper3

Last active December 30, 2015 05:19
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save voila/7781976 to your computer and use it in GitHub Desktop.
Save voila/7781976 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
proper3
27> proper:quickcheck(listdel:prop_delete3()).
..x.x.....x...............!
Failed: After 24 test(s).
[13,13,59,10,11,24,-3,0,4]
13
Shrinking ...(3 time(s))
[13,13]
13
false
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment