diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-22 01:28:40 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2017-07-23 12:18:35 +0200 |
| commit | afae176824d8fd1733e5e302a62e6bd09a86aff2 (patch) | |
| tree | 417ff3c15fd0499d8e61a1f180c75beb5cde6d4b /test/lit.cfg | |
| parent | 37e92d0c802524c19a9a84164253639aac47fee3 (diff) | |
| download | klee-afae176824d8fd1733e5e302a62e6bd09a86aff2.tar.gz | |
Updated test cases to reflect removal of LLVM 2.9
Diffstat (limited to 'test/lit.cfg')
| -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 9c557a78..6cb85712 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", "3.6"]) +known_llvm_versions = set(["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) |