W dniu piątek, 28 listopada 2014 15:50:41 UTC+1 użytkownik Carlo napisał: > > > 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). >
That's sounds impressive! I'll have to look into details of your shrinking code. I agree that currently States' command shrinking is far from perfect. > 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? > My main objective was to expose an interface closely resembling original QuviQ eqc API. How natural this feels in Clojure is a subject open for discussion. I haven't felt constrained by this API. Still, to be honest, I haven't used it to test more than some simple experiments yet. Best, Jan -- 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.
