quickcheck-state-machine (hackage): See README at https://github.com/stevana/quickcheck-state-machine#readme
Keywords: bsd3|library|testing