From 9a523defa2773822ac575eecc6d46bf59fb3c1b7 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 28 Dec 2012 09:13:18 -0800
Subject: [PATCH] Add pp (debugging function) for params_ref
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
src/api/api_context.h | 2 +-
src/util/params.cpp | 5 +++++
2 files changed, 6 insertions(+), 1 deletion(-)
diff --git a/src/api/api_context.h b/src/api/api_context.h
index edb79b2d5..896011615 100644
--- a/src/api/api_context.h
+++ b/src/api/api_context.h
@@ -54,7 +54,7 @@ namespace api {
datalog::dl_decl_util m_datalog_util;
// Support for old solver API
- smt_params m_fparams;
+ smt_params m_fparams;
smt::kernel * m_solver; // General purpose solver for backward compatibility
// -------------------------------
diff --git a/src/util/params.cpp b/src/util/params.cpp
index 0ee42868d..4aff0de92 100644
--- a/src/util/params.cpp
+++ b/src/util/params.cpp
@@ -933,3 +933,8 @@ void params::set_sym(char const * k, symbol const & v) {
SET_SYM_VALUE();
}
+#ifdef Z3DEBUG
+void pp(params_ref const & p) {
+ std::cout << p << std::endl;
+}
+#endif