My public address is 0xC6308909a83Fad9E5De9df883E1d8A3b7141d90A
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Foundry | |
| alias fb="forge build" | |
| alias ft="forge test" | |
| alias ftv="forge test -vv" | |
| alias ftvv="forge test -vvvv" | |
| # Echidna | |
| alias e="echidna . --contract Fuzz --config echidna-config.yaml" | |
| alias er="rm -rf echidna-corpus/coverage; rm -rf echidna-corpus/reproducers; rm echidna-corpus/covered.* ; echidna . --contract Fuzz --config echidna-config.yaml" |