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 /test | |
| 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>
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit.cfg | 2 |
1 files changed, 1 insertions, 1 deletions
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) |