Closed dule-git closed 1 year ago
Latest commit: 994700b0366c518402b01b89c000b6cc8dd58007
The changes in this PR will be included in the next version bump.
Not sure what this means? Click here to learn what changesets are.
Click here if you're a maintainer who wants to add another changeset to this PR
This PR elaborates contract verification in three examples:
You can start these examples with:
pnpm start:example:contractVerification:simpleCounter
pnpm start:example:contractVerification:withDependencies
pnpm start:example:contractVerification:withLibrary