Hi, I have taken a look at simple-check. Seems promising, but I have a few reservations:
I want to constrain the generation of two vectors to always have the same number of elements as the other one. >From what I can understand simple-check always uses the same max-size in a property and have no current means to control the min length. Its kind of hard to inspect what values I am actually generating since the generator functions return non-runnable functions. (without any scaffolding). Really I think that data.generators would fit nicely into simple-check. (I am not well-versed in the domain though...) I like the general feel of simple-check and shrinking rocks. On Mon, Jul 15, 2013 at 2:24 PM, Chas Emerick <c...@cemerick.com> wrote: > Shrinking is a key requirement for me as well (1000-line-long data > literals that produce a failure are better than nothing, but not quite as > nice as its shrunken 40-character literal that provokes the same failure). > You might be interested in simple-check, which is a "Clojure > property-based testing tool inspired by QuickCheck", and so its support for > shrinking is essential: > > https://github.com/reiddraper/simple-check/ > > I've been using it for some weeks now with good results. > > Cheers, > > - Chas > > On Jul 15, 2013, at 7:35 AM, Andreas Liljeqvist wrote: > > So, I find that what they provide are absolutely fantastic. > But I don't see much action around them, are they considered maintained? > > Things on my wishlish: > Shrinking of failing inputs. > More readable reports. > A couple of blogs or videos discussing them, I think that most people > don't know what they are used for. > > -- > -- > 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. > > > -- -- 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.
