diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-06-17 12:35:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-06-17 12:35:16 +0100 |
| commit | 637e884bb0ad4ead31d61583f47db475f5ec1ab7 (patch) | |
| tree | 91888800aed8d062d8eb90ff6bc589329f2f7ae7 /Dockerfile | |
| parent | 998a0c10526c6549c655a227b122a6def9d65398 (diff) | |
| parent | 7844d5f9b9057197b7392efca46ed79c82e66dc5 (diff) | |
| download | klee-637e884bb0ad4ead31d61583f47db475f5ec1ab7.tar.gz | |
Merge pull request #245 from kren1/master
Added coverage of the KLEE codebase to Travis CI
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Dockerfile b/Dockerfile index 07f1bb48..d9fdd02d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -11,6 +11,7 @@ ENV LLVM_VERSION=3.4 \ ENABLE_OPTIMIZED=1 \ KLEE_UCLIBC=1 \ KLEE_SRC=/home/klee/klee_src \ + COVERAGE=0 \ BUILD_DIR=/home/klee/klee_build RUN apt-get update && \ |