diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-06-16 14:36:17 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-06-16 14:36:17 +0000 |
| commit | e7f703804d7dadbd57cf7c50f479324d012f09e7 (patch) | |
| tree | 338143c0a1cb15d416b9e4c676ee25de710c5c53 /llvm/unittests/IR/DominatorTreeTest.cpp | |
| parent | 1193bbf6b76b333069209f4f9224cb1f433f23ef (diff) | |
| download | llvm-e7f703804d7dadbd57cf7c50f479324d012f09e7.zip llvm-e7f703804d7dadbd57cf7c50f479324d012f09e7.tar.gz llvm-e7f703804d7dadbd57cf7c50f479324d012f09e7.tar.bz2 | |
[analyzer] Add method to the generic SMT API to dump the SMT formula
Summary:
New method dump the SMT formula and the Z3 implementation.
There is no test because I only used it for debugging.
However, if requested, I can add an option to the static analyzer to dump the formula (whole program? per path?), maybe something like the trimmed graph but for SMT formulas.
Reviewers: NoQ, george.karpenkov, ddcc
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D48221
llvm-svn: 334891
Diffstat (limited to 'llvm/unittests/IR/DominatorTreeTest.cpp')
0 files changed, 0 insertions, 0 deletions