https://github.com/bfabry/specify-it
Attempted translation of the QuickCheck properties in this paper: "How to specify it!" - John Hughes https://www.dropbox.com/s/tx2b84kae4bw1p4/paper.pdf?dl=0 Into Clojure test.check properties. I recreated the first 5 bugs in the paper (and the test.check properties do fail on them) but got bored after that as they assumed an implementation of `union` that isn't as silly as mine. Run the properties by redefining the vars at the top of `bst-spec` to point to the implementation of your choice and running `check-props`. There's also a BST that passes all the tests in `bst`. It's stupidly slow. Would love some help in how to make the `bst-spec` namespace 1. have less boilerplate 2. be more idiomatic. 3. I couldn't figure out how to make properties that test shrinking as in the paper -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/clojure/5fd30de8-508c-43b7-8da3-4e7686828241%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
