diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-09-15 16:45:28 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-10-31 15:35:05 +0000 |
| commit | 24996597043fd8fb76a6b0fa781fcb0197050dab (patch) | |
| tree | 876cbb132a77ba02f10c8b5bcaff25051a5664bc /test/lit.cfg | |
| parent | ea9cffdf2902e14f52b442517eebd3a05b742e8a (diff) | |
| download | klee-24996597043fd8fb76a6b0fa781fcb0197050dab.tar.gz | |
enable testing for LLVM 9.0
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 c240de27..4feda655 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -155,7 +155,7 @@ config.substitutions.append( # 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(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0"]) +known_llvm_versions = set(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "7.1", "8.0", "9.0"]) current_llvm_version = "%s.%s" % (config.llvm_version_major, config.llvm_version_minor) |