This example is meant to accompany this post on the Recon substack for implementing invariants in an ERC4626 vault.
This tester was built using the create-chimera-app template.
Prerequisites:
To run the Echidna fuzzer use the following command from the root directory:
echidna . --contract CryticTester --config echidna.yaml
To run the Medusa fuzzer use the following command from the root directory:
medusa fuzz