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).