diff options
Diffstat (limited to 'test/lit.cfg')
| -rw-r--r-- | test/lit.cfg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/lit.cfg b/test/lit.cfg index 2b494c4910..2e03c36794 100644 --- a/test/lit.cfg +++ b/test/lit.cfg @@ -361,6 +361,9 @@ if config.clang_default_cxx_stdlib != '': if config.clang_staticanalyzer: config.available_features.add("staticanalyzer") + if config.clang_staticanalyzer_z3 == '1': + config.available_features.add("z3") + # As of 2011.08, crash-recovery tests still do not pass on FreeBSD. if platform.system() not in ['FreeBSD']: config.available_features.add('crash-recovery') |