diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-23 15:27:56 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-24 14:24:47 +0100 |
| commit | a3e82239a74cdc43c44bd5200434cb48c7dd1edb (patch) | |
| tree | 3671402b64f8276a2acfe1622f9a6fd99f4194c2 | |
| parent | d3a467d8999e6e52892b13c2bc93ac829ee1b7c9 (diff) | |
| download | klee-a3e82239a74cdc43c44bd5200434cb48c7dd1edb.tar.gz | |
travis CI: add LLVM 3.5 and 3.6 tests
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
| -rw-r--r-- | .travis.yml | 12 | ||||
| -rw-r--r-- | test/lit.cfg | 2 |
2 files changed, 9 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index abf056ba..9a337952 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,7 +20,7 @@ env: ########################################################################### # Check a subset of the matrix of: - # LLVM : {2.9, 3.4} + # LLVM : {2.9, 3.4, 3.5, 3.6} # SOLVERS : {Z3, STP, STP:Z3, metaSMT} # STP_VERSION : {2.1.2, master} # METASMT_VERSION : {v4.rc1} @@ -36,14 +36,14 @@ env: # COVERAGE set indicated that coverage data should be uploaded to the server, only ONE job should have COVERAGE set matrix: - # FIXME: Enable when we want to test LLVM3.5 - #- 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 coverage build # TODO: Add Doxygen build # Check KLEE CMake build in a few configurations + - LLVM_VERSION=3.6 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 + - 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 COVERAGE=0 USE_TCMALLOC=1 USE_CMAKE=1 + - LLVM_VERSION=3.4 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 - LLVM_VERSION=3.4 SOLVERS=metaSMT METASMT_VERSION=v4.rc1 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 @@ -52,6 +52,9 @@ env: - 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 + # legacy build system + - LLVM_VERSION=3.6 SOLVERS=STP:Z3 STP_VERSION=2.1.2 KLEE_UCLIBC=klee_uclibc_v1.0.0 DISABLE_ASSERTIONS=0 ENABLE_OPTIMIZED=1 + # TODO: Port all configurations below to CMake build system # Test we can still build with Z3 in the old build sytem @@ -100,6 +103,7 @@ addons: - gcc-4.8 - g++-4.8 - libcap-dev + - libedit-dev - libselinux1-dev - cmake diff --git a/test/lit.cfg b/test/lit.cfg index 8f399642..9c557a78 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -158,7 +158,7 @@ if int(config.llvm_version_major) == 2: # Add feature for the LLVM version in use, so it can be tested in REQUIRES and # XFAIL checks. We also add "not-XXX" variants, for the same reason. -known_llvm_versions = set(["2.9", "3.4", "3.5"]) +known_llvm_versions = set(["2.9", "3.4", "3.5", "3.6"]) current_llvm_version = "%s.%s" % (config.llvm_version_major, config.llvm_version_minor) config.available_features.add("llvm-" + current_llvm_version) |