quickcheck-state-machine v0.7.0 Release NotesRelease Date: 2020-03-17 // 18 days ago
Add Stack resolver lts-15 and drop lts-11;
High-level interface to the state machine API (PR #355) -- this captures the patterns described in http://www.well-typed.com/blog/2019/01/qsm-in-depth/ as a proper Haskell abstraction;
Experimental support for Markov chain-base command generation and reliability calculations;
forAllParallelCommands now gets another argument with type Maybe Int, indicating the minimum number of commands we want a test case to have.
Nothingprovides old functionality;
Fixed a bug in the parallel case for the mock function (PR #348) and other bugs related to references in the parallel case;
Add a new field in the StateMachine called cleanup. This function can be used to ensure resources are cleaned between tests.
noCleanupcan be used to achieve the older functionality;
Generalize parallelism, so that more than two threads can be used (PR #324);
Option to print dot visualisation of failed examples;
Handle exceptions better and provide better output.
Previous changes from v0.6.0
This is a breaking release. See mentioned PRs for how to upgrade your code, and feel free to open an issue if anything isn't clear.
Generalise shrinking so that it might depend on the model (PR #263);
Drop support for GHC 8.0.* or older, by requiring base >= 4.10 (PR #267). If you need support for older GHC versions, open a ticket;
Use Stack resolver lts-13 as default (PR #261);
GConNametype class to make it possible to use it for commands that cannot have
Generic1instances. Also rename the type class to