From 6a7d180e6978862c22c4b460f20bf1e6fab4c48f Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 13 Oct 2012 18:13:39 -0700 Subject: [PATCH] goodies for gdb Signed-off-by: Leonardo de Moura --- lib/ast_smt2_pp.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/lib/ast_smt2_pp.cpp b/lib/ast_smt2_pp.cpp index 174c36b29..c4044d0d4 100644 --- a/lib/ast_smt2_pp.cpp +++ b/lib/ast_smt2_pp.cpp @@ -1130,3 +1130,11 @@ std::ostream& operator<<(std::ostream& out, mk_ismt2_pp const & p) { return out; } +#ifdef Z3DEBUG +void pp(expr const * n, ast_manager & m) { + std::cout << mk_ismt2_pp(const_cast(n), m) << std::endl; +} +void pp(expr_ref const & n) { + std::cout << mk_ismt2_pp(n.get(), n.m()) << std::endl; +} +#endif