[fuzzing] update to Echidna 2.2.0

This commit is contained in:
Mark Spanbroek 2023-05-30 15:38:08 +02:00 committed by markspanbroek
parent a7dd840eaa
commit d4fc6bbf7c
2 changed files with 4 additions and 4 deletions

View File

@ -1,5 +1,5 @@
# configure Echidna fuzzing tests
testMode: "assertion" # check that solidity asserts are never triggered
multi-abi: true # allow calls to e.g. TestToken in test scenarios
allContracts: true # allow calls to e.g. TestToken in test scenarios
format: "text" # disable interactive ui

View File

@ -3,9 +3,9 @@ set -e
root=$(cd $(dirname "$0")/.. && pwd)
if command -v echidna-test; then
if command -v echidna; then
fuzz () {
echidna-test ${root} \
echidna ${root} \
--config ${root}/fuzzing/echidna.yaml \
--corpus-dir ${root}/fuzzing/corpus \
--crytic-args --ignore-compile \
@ -17,7 +17,7 @@ else
--rm \
-v ${root}:/src ghcr.io/crytic/echidna/echidna \
bash -c \
"cd /src && echidna-test . \
"cd /src && echidna . \
--config fuzzing/echidna.yaml \
--corpus-dir fuzzing/corpus \
--crytic-args --ignore-compile \