diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2017-06-15 17:05:07 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2017-06-15 17:05:07 +0000 |
| commit | f94c108395a3eb0ad785a2433877dc21d79cf6bd (patch) | |
| tree | b7ae67499b260349d9629d96add3a55aeeb687f8 /clang/unittests/Basic/VirtualFileSystemTest.cpp | |
| parent | 7a08bb145846730efc8a12ed1cb23a3534f30e72 (diff) | |
| download | llvm-f94c108395a3eb0ad785a2433877dc21d79cf6bd.zip llvm-f94c108395a3eb0ad785a2433877dc21d79cf6bd.tar.gz llvm-f94c108395a3eb0ad785a2433877dc21d79cf6bd.tar.bz2 | |
[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
llvm-svn: 305480
Diffstat (limited to 'clang/unittests/Basic/VirtualFileSystemTest.cpp')
0 files changed, 0 insertions, 0 deletions