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

[George Karpenkov via Phabricator via llvm-commits]

george.karpenkov accepted this revision.
george.karpenkov added a comment.
This revision is now accepted and ready to land.

LGTM, but could you clarify what was disabled? Tests for the Z3 solver as done by @ddcc ?

Also, I trust that all tests still pass?


Repository:
  rL LLVM

https://reviews.llvm.org/D47722