diff options
| -rw-r--r-- | test/lit.cfg | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index dd2fbc13..1a988863 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -135,8 +135,12 @@ current_llvm_version = "%s.%s" % (config.llvm_version_major, config.llvm_version_minor) config.available_features.add("llvm-" + current_llvm_version) for version in known_llvm_versions: - if version != current_llvm_version: - config.available_features.add("not-llvm-" + version) + if version != current_llvm_version: + config.available_features.add("not-llvm-" + version) + if current_llvm_version >= version: + config.available_features.add("geq-llvm-" + version) + else: + config.available_features.add("lt-llvm-" + version) # Solver features if config.enable_stp: |