From 54648f6b508f9e5bf4100693a6ee4223297b1410 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 May 2022 14:58:15 -0700 Subject: [PATCH] add stats for binary clause creation Signed-off-by: Nikolaj Bjorner --- src/smt/smt_context_pp.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/smt/smt_context_pp.cpp b/src/smt/smt_context_pp.cpp index 181d9d529..77b42c6c2 100644 --- a/src/smt/smt_context_pp.cpp +++ b/src/smt/smt_context_pp.cpp @@ -415,6 +415,7 @@ namespace smt { st.update("final checks", m_stats.m_num_final_checks); st.update("added eqs", m_stats.m_num_add_eq); st.update("mk clause", m_stats.m_num_mk_clause); + st.update("mk clause binary", m_stats.m_num_mk_bin_clause); st.update("del clause", m_stats.m_num_del_clause); st.update("dyn ack", m_stats.m_num_dyn_ack); st.update("interface eqs", m_stats.m_num_interface_eqs);