This repository provides the instances and API necessary to use
cooked-contracts and quickcheck-contractmodel together, allowing users of
cooked-contracts to write model-based property tests for their smart
contracts. An example of using quickcheck-contractmodel to test a cooked-contracts
contract can be found in the Spec.Auction
example that showcases how to write a contract model for the cooked-contracts' auction
contract example found here.
We hope that this repository can serve as an example of how to implement
quickcheck-contractmodel bindings for any custom Cardano emulator. Feel
free to check out the implementation of
Test.QuickCheck.ContractModel.Cooked
for an example of how to use quickcheck-contractmodel with your emulator.