diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-03-18 18:52:31 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-18 22:56:31 +0000 |
| commit | 19640bf12f051ad531df7295674a574b43c242ae (patch) | |
| tree | 07604a9628446313f72fea0bb9687b495c650f2c | |
| parent | 911f8eed4813315d407c413ca3965b014b4c86c8 (diff) | |
| download | klee-19640bf12f051ad531df7295674a574b43c242ae.tar.gz | |
Update Dockerfile with new dependencies
| -rw-r--r-- | Dockerfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Dockerfile b/Dockerfile index 4db713d4..4dc8713b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,8 +1,8 @@ FROM klee/llvm:60_O_D_A_ubuntu_xenial-20181005 as llvm_base FROM klee/gtest:1.7.0_ubuntu_xenial-20181005 as gtest_base -FROM klee/uclibc:klee_uclibc_v1.0.0_60_ubuntu_xenial-20181005 as uclibc_base +FROM klee/uclibc:klee_uclibc_v1.2_60_ubuntu_xenial-20181005 as uclibc_base FROM klee/tcmalloc:2.7_ubuntu_xenial-20181005 as tcmalloc_base -FROM klee/stp:2.3.2_ubuntu_xenial-20181005 as stp_base +FROM klee/stp:2.3.3_ubuntu_xenial-20181005 as stp_base FROM klee/z3:4.8.4_ubuntu_xenial-20181005 as z3_base FROM llvm_base as intermediate COPY --from=gtest_base /tmp /tmp/ @@ -20,12 +20,12 @@ ENV DISABLE_ASSERTIONS=0 ENV REQUIRES_RTTI=0 ENV SOLVERS=STP:Z3 ENV GTEST_VERSION=1.7.0 -ENV UCLIBC_VERSION=klee_uclibc_v1.0.0 +ENV UCLIBC_VERSION=klee_uclibc_v1.2 ENV LLVM_VERSION=6.0 ENV TCMALLOC_VERSION=2.7 ENV SANITIZER_BUILD= ENV LLVM_VERSION=6.0 -ENV STP_VERSION=2.3.2 +ENV STP_VERSION=2.3.3 ENV MINISAT_VERSION=master ENV Z3_VERSION=4.8.4 COPY . /tmp/klee_src/ |