quickcheck-state-machine v0.4.0 Release Notes
Release Date: 2018-08-21 // over 5 years ago-
Major rewrite, addressing many issues:
- The output of sequential runs now shows a diff of how the model changed in each step (related to issue #77);
- The datatype of actions was renamed to commands and no longer is a GADT (discussed in issue #170, also makes issue #196 obsolete);
- Commands can now return multiple references (issue #197);
- Global invariants can now more easily be expressed (issue #200);
- Counterexamples are now printed when post-conditions fail (issue #172).