Skip to content

Instantly share code, notes, and snippets.

@voila

voila/proper4

Created December 4, 2013 09:37
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/7784866 to your computer and use it in GitHub Desktop.
Save voila/7784866 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
proper4
4> proper:quickcheck(listdel:prop_delete3()).
.xx..xxx........................x.....x............x...........................x.........x..........x....x......
OK: Passed 100 test(s).
true
5> proper:quickcheck(listdel:prop_delete3(), 1000).
xxx..xx...x.xxxx..xxx.xx...x..xxxx.........x.x.........x...x..........x......x.......x....x...xx...x........x......x......x....x.......x.................x....x......x...........x.......x.....x.x..........x........x.x.................x..x.......................x..........x............x.......x......................................x.......................................x.......x.........x..x...................x..................................................................................x........x.....x..........................................................................x..x.......x..................................x......................x........x..................x...x.........x.x.....................................x.x...........................................x.........x.....................x...............................................x...........................................................................................................................................................................................x...........................
OK: Passed 1000 test(s).
true
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment