diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-09-15 23:02:53 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-10-07 13:26:53 +0100 |
| commit | 75e8d076f62e88c65c264a165172e0c5d02862dd (patch) | |
| tree | 22549190a871f300461520849dd7b9b39d1f0d74 | |
| parent | 548651e3513de258adcc20c2431046a9c7a6839d (diff) | |
| download | klee-75e8d076f62e88c65c264a165172e0c5d02862dd.tar.gz | |
test/lit.cfg: test if current version is known
| -rw-r--r-- | test/lit.cfg | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 037cbf37..25061a68 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -158,6 +158,11 @@ config.substitutions.append( known_llvm_versions = set(["3.8", "3.9", "4.0", "5.0", "6.0", "7.0", "8.0"]) current_llvm_version = "%s.%s" % (config.llvm_version_major, config.llvm_version_minor) + +if current_llvm_version not in known_llvm_versions: + lit_config.fatal("LLVM Version %s is not listed in known_llvm_versions!" + % current_llvm_version) + config.available_features.add("llvm-" + current_llvm_version) for version in known_llvm_versions: if version != current_llvm_version: |