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.

Attachment: signature.asc
Description: Digital signature

Reply via email to