feat: formal verification & fuzz campaign #69
Conversation
| - name: Run Echidna | ||
| uses: crytic/echidna-action@v2 | ||
| with: | ||
| files: . | ||
| contract: InvariantGreeter | ||
| test-mode: assertion | ||
| crytic-args: --ignore-compile |
There was a problem hiding this comment.
How would the action look for multiple invariant contracts? Each would have its own step?
There was a problem hiding this comment.
you can pass a directory (in files), contract is optional
There was a problem hiding this comment.
you can pass a directory
@drgorillamd let's do that? Will be one less thing for whoever starts with the boilerplate to modify.
There was a problem hiding this comment.
til: when passing a directory, only the first contract is run, including the import (so here, it tries to run it on IERC20...). For multiple contracts, people are actually using a proxy
Co-authored-by: Gas <[email protected]>
Co-authored-by: Gas <[email protected]>
Co-authored-by: Gas <[email protected]>
Co-authored-by: Gas <[email protected]>
| @@ -22,7 +22,9 @@ | |||
| "lint:sol-tests": "solhint -c .solhint.tests.json 'test/**/*.sol'", | |||
| "prepare": "husky install", | |||
| "test": "forge test -vvv", | |||
| "test:fuzz": "echidna test/invariants/fuzz/Greeter.t.sol --contract GreeterInvariant --corpus-dir test/invariants/fuzz/echidna_coverage/ --test-mode assertion", | |||
There was a problem hiding this comment.
Is it possible to use wildcards to run against all contracts under fuzz/ ?
There was a problem hiding this comment.
check the previous comment from gas @0xmoebius ;)
No description provided.