diff options
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index 7050837d..f9e7c291 100644 --- a/Dockerfile +++ b/Dockerfile @@ -31,6 +31,8 @@ ENV STP_VERSION=2.3.3 ENV MINISAT_VERSION=master ENV Z3_VERSION=4.8.4 ENV USE_LIBCXX=1 +ENV KLEE_RUNTIME_BUILD="Debug+Asserts" + COPY . /tmp/klee_src/ RUN /tmp/klee_src//scripts/build/build.sh --debug --install-system-deps klee LABEL maintainer="KLEE Developers" |