diff options
author | George Karpenkov <ekarpenkov@apple.com> | 2018-08-13 23:12:43 +0000 |
---|---|---|
committer | George Karpenkov <ekarpenkov@apple.com> | 2018-08-13 23:12:43 +0000 |
commit | 4fb8974a97cc95e76b5f1c5ac04dc97abc621366 (patch) | |
tree | ecb960ba6fb5b65a59538a34d6093d5e22010b42 /test/lit.site.cfg.py.in | |
parent | 09d5c6b600bdab633bffe2b2df25a7fbb8cad784 (diff) | |
download | clang-4fb8974a97cc95e76b5f1c5ac04dc97abc621366.tar.gz |
[analyzer] [NFC] Introduce separate targets for testing the analyzer: check-clang-analyzer and check-clang-analyzer-z3
Current testing setup for analyzer tests with Z3 is rather inconvenient:
There's no way to run the analyzer tests separately (I use
LIT_FILTER=Analysis ninja check-clang, but a direct target is nicer).
When Clang is built with Z3 support, there's no way to *not* run tests
with Z3 solver, and this is often desired, as tests with Z3 solver take
a very long time.
This patch introduces two extra targets:
- check-clang-analyzer
- check-clang-analyzer-z3
which solve those problems.
Differential Revision: https://reviews.llvm.org/D50594
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@339629 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/lit.site.cfg.py.in')
-rw-r--r-- | test/lit.site.cfg.py.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/lit.site.cfg.py.in b/test/lit.site.cfg.py.in index 361d4e44d6..7bd8846dbd 100644 --- a/test/lit.site.cfg.py.in +++ b/test/lit.site.cfg.py.in @@ -26,6 +26,7 @@ config.enable_shared = @ENABLE_SHARED@ config.enable_backtrace = @ENABLE_BACKTRACES@ config.host_arch = "@HOST_ARCH@" config.python_executable = "@PYTHON_EXECUTABLE@" +config.use_z3_solver = "@USE_Z3_SOLVER@" # Support substitution of the tools and libs dirs with user parameters. This is # used when we can't determine the tool dir at configuration time. @@ -34,6 +35,7 @@ try: config.llvm_tools_dir = config.llvm_tools_dir % lit_config.params config.llvm_shlib_dir = config.llvm_shlib_dir % lit_config.params config.llvm_libs_dir = config.llvm_libs_dir % lit_config.params + config.use_z3_solver = lit_config.params['USE_Z3_SOLVER'] except KeyError: e = sys.exc_info()[1] key, = e.args |