diff options
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index f1253ea6..fdf9bf7b 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -128,4 +128,13 @@ 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) - + +# Solver features +if config.enable_stp: + config.available_features.add('stp') +else: + config.available_features.add('not-stp') +if config.enable_z3: + config.available_features.add('z3') +else: + config.available_features.add('not-z3') |