Merge pull request #11 from crytic/dev-add-echidna-version

Print echidna version when the action runs

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"