Test properties and default-mains for QuickCheck
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine-distributed is a good alternative to quickcheck-simple
Test properties and default-mains for QuickCheck
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine-distributed is a good alternative to quickcheck-simple