]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23e042f) | patch
[analyzer]: Improve test handling with multiple constraint managers
authorDominic Chen <d.c.ddcc@gmail.com>
Thu, 15 Jun 2017 17:05:07 +0000 (17:05 +0000)
committerDominic Chen <d.c.ddcc@gmail.com>
Thu, 15 Jun 2017 17:05:07 +0000 (17:05 +0000)
commit8660d5570144894cf4e6e07b3a30526b35575dce
tree30f3522cf95da486a7ecf9e8ff534fa858a69c03tree | snapshot
parent23e042ffe07a923db2dbebf4d2a3692c5a454feecommit | diff
[analyzer]: Improve test handling with multiple constraint managers

Summary: Modify the test infrastructure to properly handle tests that require z3, and merge together the output of all tests on success. This is required for D28954.

Reviewers: dcoughlin, zaks.anna, NoQ, xazax.hun

Subscribers: cfe-commits

Differential Revision: https://reviews.llvm.org/D33308

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@305480 91177308-0d34-0410-b5e6-96231b3b80d8
test/Analysis/analyzer_test.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.