Skip to content

Instantly share code, notes, and snippets.

@johnnieskywalker

johnnieskywalker/my-echidna.dockerfile

Last active May 19, 2023 12:27
Show Gist options
  • Save johnnieskywalker/82708c8c78cf8da5b7ddde0140c90189 to your computer and use it in GitHub Desktop.
Save johnnieskywalker/82708c8c78cf8da5b7ddde0140c90189 to your computer and use it in GitHub Desktop.
Download ZIP
Dockerfile to run echidna with various solc versions
Raw
my-echidna.dockerfile
FROM ghcr.io/crytic/echidna/echidna:testing-master
RUN apt-get update && apt-get install -y curl
RUN ln -s /usr/local/solc-select/scripts/solc-select /usr/bin
# Install any solc version is needed for contracts
RUN solc-select install 0.8.0
RUN solc-select install 0.8.1
ENV PATH="/root/.solc-select:$PATH"
RUN solc-select use 0.8.1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment