diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-20 15:29:26 +0000 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2017-01-19 11:50:10 +0000 |
| commit | 1ffef7b5a0bf78bd4b4a31c626f20e150229d814 (patch) | |
| tree | 88720bf42b1564b4875b6adfad34e91ac5d70efb /.travis.yml | |
| parent | 1ffda389d8d20c212884b8a669ebb4cb24f1fa01 (diff) | |
| download | klee-1ffef7b5a0bf78bd4b4a31c626f20e150229d814.tar.gz | |
[TravisCI] Modify TravisCI/Docker build scripts to support doing ASan/UBSan builds
of KLEE. Two configurations (one for each build system) have been added to TravisCI to do an ASan build.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 435d5139..a0b5e7ae 100644 --- a/.travis.yml +++ b/.travis.yml @@ -38,7 +38,6 @@ env: #- LLVM_VERSION=3.5 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 #- LLVM_VERSION=3.5 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 USE_CMAKE=1 - # TODO: Add ASan build # TODO: Add coverage build # TODO: Add Doxygen build @@ -47,6 +46,10 @@ env: - LLVM_VERSION=3.4 SOLVERS=metaSMT METASMT_DEFAULT=STP KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1 - LLVM_VERSION=2.9 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1 + # ASan build. Do unoptimized build otherwise the optimizer might remove problematic code + - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 COVERAGE=0 USE_CMAKE=1 USE_TCMALLOC=0 ASAN_BUILD=1 + - LLVM_VERSION=3.4 SOLVERS=STP STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=0 COVERAGE=0 USE_CMAKE=0 USE_TCMALLOC=0 ASAN_BUILD=1 + # TODO: Port all configurations below to CMake build system # Test we can still build with Z3 in the old build sytem |