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

iris added a comment. In https://reviews.llvm.org/D28952#751431, @ddcc wrote: > 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

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

iris added a comment. How can I make z3constraintmanager.cpp work in the command line?Or how to make z3 work? Repository: rL LLVM https://reviews.llvm.org/D28952 ___ cfe-commits mailing list cfe-commits@lists.llvm.org