Demo code for the blog post "An in-depth look at quickcheck-state-machine" - View it on GitHub