[PATCH] D83677: [analyzer] Rework Z3 requirements in the CSA testsuite

[Kristóf Umann via Phabricator via llvm-commits]

Szelethus added inline comments.


================
Comment at: clang/www/analyzer/checker_dev_manual.html:548-550
+  The <tt>RECHECK_WITH_Z3_SOLVER</tt> parameter lets the testsuite to use both
+  constraint managers, which are substituted by the <tt>%clang_analyze_cc1</tt>
+  in each <tt>RUN</tt> line.
----------------
Szelethus wrote:
> What is the difference in between clang_analyze_cc1 and clang_analyze_cc1_range then?
I meant to delete this inline, oops :)


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83677/new/

https://reviews.llvm.org/D83677