I'm glad my talk got someone working on things! I'm going to see if that library would be a better match for our integration tests than test.check alone.
--Ashton Sent from my iPhone > On Nov 28, 2014, at 9:50 AM, Carlo Zancanaro <carlozancan...@gmail.com> wrote: > > Hey Jan! > >> On Fri, Nov 28, 2014 at 06:37:06AM -0800, Jan Stępień wrote: >> Thanks for sharing! I see that generative testing of statful computations >> is a popular topic in the Clojure world these days; > > Yeah, it certainly seems to be that way. I was re-invigorated to work on > stateful-check after watching a talk from the conj about generative > integration tests. > >> I think we've started working on our libraries nearly the same day :) >> >> https://github.com/jstepien/states > > I've actually seen your library since writing stateful-check. When I > experimented with it, though, I found its shrinking to be a bit lacking. > With stateful-check I've actually implemented my own shrinking of > commands to try to improve the shrinking results (it essentially tries > to prune irrelevant commands before trying to shrink individual > commands). > > I was quite interested in your approach of using a single function per > specification property (precondition/postcondition/next-state). I > thought that would be a bit constricting when it comes to actually > writing test cases, though, so I've opted instead to have each of those > defined per-command. How have you found that to be in practice? > > Thanks! > > Carlo > > -- > 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/d/optout. -- 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/d/optout.
