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