diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-23 15:27:56 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-09-14 09:59:29 +0100 |
| commit | 4d30c74c7b38e32073c92bf9d8bb7c5acf597cfd (patch) | |
| tree | 3aaac0f4ee496c4aa0b4789ec00b37f813645db2 /.travis.yml | |
| parent | f2dc3504340fef5361fc3668552e9c1b6b996fd6 (diff) | |
| download | klee-4d30c74c7b38e32073c92bf9d8bb7c5acf597cfd.tar.gz | |
travis CI: add LLVM 3.9 build tests
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index b840eacc..f8773865 100644 --- a/.travis.yml +++ b/.travis.yml @@ -21,7 +21,7 @@ env: ########################################################################### # Check a subset of the matrix of: - # LLVM : {3.4, 3.5, 3.6, 3.7, 3.8} + # LLVM : {3.4, 3.5, 3.6, 3.7, 3.8, 3.9} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.1.2, master} # METASMT_VERSION : {v4.rc1} @@ -40,6 +40,7 @@ env: # TODO: Add Doxygen build # Check newer LLVMs + - LLVM_VERSION=3.9 SOLVERS=STP:Z3 STP_VERSION=2.1.2 Z3_VERSION=4.4.1 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 - LLVM_VERSION=3.8 SOLVERS=STP:Z3 STP_VERSION=2.1.2 Z3_VERSION=4.4.1 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 - LLVM_VERSION=3.7 SOLVERS=STP:Z3 STP_VERSION=2.1.2 Z3_VERSION=4.4.1 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 - LLVM_VERSION=3.6 SOLVERS=STP:Z3 STP_VERSION=2.1.2 Z3_VERSION=4.4.1 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 COVERAGE=0 USE_TCMALLOC=1 |