Re: Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
Added a reporting property and tweaked the key generator to be closer to the numbers in the paper On Thursday, July 18, 2019 at 8:25:25 AM UTC-7, Beau Fabry wrote: > > 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/b396098d-d920-4130-8440-86aeb3b1ac5b%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
Translation of the QuickCheck properties in the paper "How to specify it!" by John Hughes into clojure test.check
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.
