Hi Reid, I dig how nicely it integrates with clojure.test. Does simple-check implement some form of shrinking?
On Tue, Jul 16, 2013 at 12:20 PM, Reid Draper <reiddra...@gmail.com> wrote: > Derp, I fat-fingered my own library name in the subject :) > > > On Tuesday, July 16, 2013 2:18:54 PM UTC-5, Reid Draper wrote: >> >> I'm happy to announce the first non-snapshot version (0.1.0) of >> simple-check, a QuickCheck inspired testing tool: https://github.com/** >> reiddraper/simple-check <https://github.com/reiddraper/simple-check>. >> >> simple-check is a fairly faithful port of a subset of Haskell's >> QuickCheck, with some additional inspiration from Erlang QuickCheck. With >> simple-check, you write your tests as a property that holds true for all >> input to your function. So, supposing you were testing the `reverse` >> function, you might say: for all vectors V, the reverse of the reverse of V >> is equal to V. Further, reversing V preserves it's count. simple-check will >> then test your property with some number of random input. If the property >> fails, simple-check will attempt to 'shrink' the input, finding smaller >> input for which the test still fails, where 'smaller' is data-type >> specific. More documentation is available in the README, and API >> documentation: >> http://**reiddraper.github.io/simple-**check/<http://reiddraper.github.io/simple-check/>. >> Enjoy, and please don't hesitate with feedback, positive or negative. >> >> Reid >> > -- > -- > 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. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- -- 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. For more options, visit https://groups.google.com/groups/opt_out.
