quickcheck-state-machine v0.3.0 Release Notes
Release Date: 2017-12-15 // over 6 years ago-
A propositional logic module was added to help provide better counterexamples when pre- and post-conditions don't hold;
Generation of parallel programs was improved (base on a comment by Hans Svensson about how Erlang QuickCheck does it);
Support for semantics that might fail was added;
Pretty printing of counterexamples was improved.