[ANN] stateful-check 0.3.1 - test stateful systems with test.check

[Carlo Zancanaro]

Hey everyone!

I've just released a new version of my library for testing stateful systems with test.check!

  [org.clojars.czan/stateful-check "0.3.1"]

  https://github.com/czan/stateful-check
  https://clojars.org/org.clojars.czan/stateful-check

Changes in this version:

  + :real/setup and :real/cleanup actually work again! There was a bug in the previous release that broke them, but they're fixed now.

  + :model/generate-command is now optional, with a default value which randomly selects a command from all the provided command specifications.

  + :model/args now coerces things to generators, so [gen/nat] will be treated as (gen/tuple gen/nat), for instance.

  + the output of the results of commands is now correct, even when the objects themselves are mutated later in the test.

  + added :tries to specification-correct? to aid in testing non-deterministic tests.

  + shrinking is now more aggressive and will shrink more effectively in some cases.

See the changelog for more details.

I hope somebody finds this useful!