Tasty trees for your lawful class instances
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine is a good alternative to tasty-quickcheck-laws
Tasty trees for your lawful class instances
Why do you think that https://github.com/advancedtelematic/quickcheck-state-machine is a good alternative to tasty-quickcheck-laws