This repo is meant to serve as an illustrative example of how to implement the erc7540-reusable-properties repo developed by the Centrifuge and Recon teams to automatically test properties related to ERC7540 vault implementations with fuzz testing.
The ERC7540 vault implementation used here is taken from the liquidity-pools repo developed by the Centrifuge team, with some modifications made for simplicity.
The repo is setup for fuzzing with Echidna and Medusa in property testingMode.
To run Echidna use the following command:
echidna . --contract CryticTester --config echidna.yaml
To run Medusa use the following command:
medusa fuzz
https://getrecon.xyz/shares/07d00e40-bacc-4e91-a0ce-82a38fbc6ecb