diff options
-rw-r--r-- | projects/solidity/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/projects/solidity/Dockerfile b/projects/solidity/Dockerfile index 2665caff..9bf54135 100644 --- a/projects/solidity/Dockerfile +++ b/projects/solidity/Dockerfile @@ -27,7 +27,7 @@ RUN git clone --depth 1 https://github.com/ethereum/solidity-fuzzing-corpus.git RUN git clone --recursive -b boost-1.69.0 https://github.com/boostorg/boost.git \ boost RUN git clone --depth 1 https://github.com/google/libprotobuf-mutator.git -RUN git clone --branch="v0.3.0" --recurse-submodules \ +RUN git clone --branch="v0.4.0" --recurse-submodules \ https://github.com/ethereum/evmone.git RUN git clone --branch="z3-4.8.7" https://github.com/Z3Prover/z3.git |