[PATCH] D47726: [Analyzer][Z3] Test fixes for Z3 constraint manager

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

Impressive, really. So almost all tests still pass.
However, a few questions should be resolved before we can merge:

- Do all tests for Z3 run when LLVM is configured to use Z3? I'm not sure if that's the right thing: do all tests start to take 10x time to run once Z3 is enabled?

Should we create a separate ninja target for those?

- Is anyone interested in running a buildbot running those?


Repository:
  rC Clang

https://reviews.llvm.org/D47726