From d4fc6bbf7cff4f7372891ab7605c7cdeba1651f7 Mon Sep 17 00:00:00 2001 From: Mark Spanbroek Date: Tue, 30 May 2023 15:38:08 +0200 Subject: [PATCH] [fuzzing] update to Echidna 2.2.0 --- fuzzing/echidna.yaml | 2 +- fuzzing/fuzz.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/fuzzing/echidna.yaml b/fuzzing/echidna.yaml index b2cb8ff..e6141f3 100644 --- a/fuzzing/echidna.yaml +++ b/fuzzing/echidna.yaml @@ -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 diff --git a/fuzzing/fuzz.sh b/fuzzing/fuzz.sh index 7304d1c..0aa5662 100755 --- a/fuzzing/fuzz.sh +++ b/fuzzing/fuzz.sh @@ -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 \