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

[Vlad Tsyrklevich via Phabricator via llvm-commits]

vlad.tsyrklevich added a comment.

In https://reviews.llvm.org/D47722#1121385, @george.karpenkov wrote:

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


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. It did so by substituting %analyze for the Z3 CM params, so when %analyze was removed llvm-lit just ran tests twice with the range CM http://llvm-cs.pcc.me.uk/tools/clang/test/Analysis/analyzer_test.py#38

> Also, I trust that all tests still pass?

Almost, the fix-ups were submitted in https://reviews.llvm.org/D47726


Repository:
  rL LLVM

https://reviews.llvm.org/D47722