Thanks Carlo! I've enjoyed using stateful-check in the part, and I'm looking forward to trying the update.
On 12 February 2018 at 14:32, Carlo Zancanaro <ca...@zancanaro.id.au> wrote: > Hey everyone! > > I've just released a new version of my library for testing stateful systems > with test.check! Now with added race condition detection! > > [org.clojars.czan/stateful-check "0.4.0"] > > https://github.com/czan/stateful-check > https://clojars.org/org.clojars.czan/stateful-check > > This version is a major release, and given the long timescale (my last > release was August 2015), I've taken the chance to break a lot of things. In > return, though, we can now run parallel test cases to detect race > conditions. If you watched John Hughes' talk at Clojure/West 2014[1], then > you have some idea of what I'm talking about. If you haven't watched it, > then you should, because it's great. > > The main changes are: > > - more clearly delineate separate phases (generation, execution, > verification), this most noticeably changes the time when postcondition > functions are run, and what they are permitted to do > > - add support for race condition detection (see doc/queue.org[2] for an > example, and see doc/race-conditions.org[3] for a bit of explanation about > what it's testing) > > - change to the MIT license > > If you've used stateful-check before then you should be careful and check > your assumptions before doing things. If you've not used stateful-check > before then now might be a fun time to give it a go! > > Carlo > > [1]: https://www.youtube.com/watch?v=zi0rHwfiX1Q > [2]: https://github.com/czan/stateful-check/blob/0.4.0/doc/queue.org > [3]: > https://github.com/czan/stateful-check/blob/0.4.0/doc/race-conditions.org > > -- > 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.
