Rooba
/
oss-fuzz
mirror of https://github.com/google/oss-fuzz.git
1
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[solidity] Upgrade to evmone v0.4.0 (#3100)

This commit is contained in:
Bhargava Shastry 2019-12-09 18:58:39 +01:00 committed by Max Moroz
parent b2603f7bc2
commit df5a80bf97
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
projects/solidity/Dockerfile
View File

@ -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