[PATCH] D54975: [analyzer] Generalised the SMT state constraints

Mikhail Ramalho via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Fri Feb 8 16:59:50 PST 2019

Previous message: [PATCH] D54975: [analyzer] Generalised the SMT state constraints
Next message: [llvm] r353373 - Move the SMT API to LLVM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

mikhail.ramalho added a comment.

@michaelplatings, thanks for the report.

That's weird, did you try to run the tests? You can do it with ninja check-clang-analyzer-z3


Repository:
  rL LLVM

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

https://reviews.llvm.org/D54975

Previous message: [PATCH] D54975: [analyzer] Generalised the SMT state constraints
Next message: [llvm] r353373 - Move the SMT API to LLVM
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list