diff options
Diffstat (limited to 'llvm/lib/Support/Z3Solver.cpp')
| -rw-r--r-- | llvm/lib/Support/Z3Solver.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/llvm/lib/Support/Z3Solver.cpp b/llvm/lib/Support/Z3Solver.cpp index 72f49ee..b4aacbd 100644 --- a/llvm/lib/Support/Z3Solver.cpp +++ b/llvm/lib/Support/Z3Solver.cpp @@ -824,3 +824,9 @@ llvm::SMTSolverRef llvm::CreateZ3Solver() { return nullptr; #endif } + +LLVM_DUMP_METHOD void SMTSort::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTExpr::dump() const { print(llvm::errs()); } +LLVM_DUMP_METHOD void SMTSolver::dump() const { print(llvm::errs()); } + + |