[PATCH] D47722: [Analyzer] Fix the Z3 lit test config

[George Karpenkov via Phabricator via llvm-commits]

george.karpenkov added a comment.

> llvm-lit would run all analyzer tests (at least those using RUN: %clang_analyzer_cc1) twice when Z3 was enabled, once with and without Z3

Right, and that sounds like a bad idea, because you might have Z3 configured, but at the same time you might not want to run every test with it every time.
I think there should be a separate target.


Repository:
  rL LLVM

https://reviews.llvm.org/D47722