From 77435e1e330efc81851b432116d02e19187df2d1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= Date: Fri, 5 Aug 2022 11:46:13 +0200 Subject: [PATCH 1/2] Print echidna version when the action runs This is useful to know what echidna version is being used on a test. --- entrypoint.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/entrypoint.sh b/entrypoint.sh index 07a8d97..c2704e3 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -32,14 +32,16 @@ for SWITCH in $SWITCHES; do fi done +echo "Echidna version: $(echidna-test --version)" >&2 +echo "Echidna command line: ${CMD[@]}" >&2 +echo >&2 + SOLC_VERSION="$(get 'INPUT_SOLC-VERSION')" if [[ -n "$SOLC_VERSION" ]]; then solc-select install "$SOLC_VERSION" solc-select use "$SOLC_VERSION" fi -echo "${CMD[@]}" >&2 - OUTPUT_FILE="$(get 'INPUT_OUTPUT-FILE')" if [[ -n "$OUTPUT_FILE" ]]; then echo "::set-output name=output-file::$OUTPUT_FILE" From 1eef50ceccdf4141e0fa922f9f32d43e6f63ad4b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Emilio=20L=C3=B3pez?= Date: Fri, 5 Aug 2022 11:47:37 +0200 Subject: [PATCH 2/2] Drop redundant PYTHONPATH definition --- entrypoint.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/entrypoint.sh b/entrypoint.sh index c2704e3..23e8d40 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -2,8 +2,6 @@ set -eu -export PYTHONPATH=/root/.local/lib/python3.6/site-packages - OPTIONS="contract config format corpus-dir test-limit test-mode shrink-limit \ seq-len contract-addr deployer sender seed crytic-args solc-args"