diff --git a/entrypoint.sh b/entrypoint.sh index 07a8d97..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" @@ -32,14 +30,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"