Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine is a good alternative to quickcheck-report
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine is a good alternative to quickcheck-report