[PATCH] D28952: [analyzer] Add new Z3 constraint manager backend

Dominic Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed May 10 13:28:19 PDT 2017


ddcc added a comment.

In https://reviews.llvm.org/D28952#750558, @iris wrote:

> How can I make z3constraintmanager.cpp work in the command line?Or how to make z3 work?


You'll need a bleeding-edge build of Clang/LLVM, since this isn't available in any stable release yet. First, build or install a recent version of z3; `libz3-dev` in Debian/Ubuntu may work. Pass `-DCLANG_ANALYZER_BUILD_Z3=ON` to `cmake`, when building LLVM.  Then, when running `clang`, pass `-Xanalyzer -analyzer-constraints=z3`.


Repository:
  rL LLVM

https://reviews.llvm.org/D28952





More information about the cfe-commits mailing list