From 4d11e57a33e573fc73a536952c18f6da46264e1e Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 6 May 2016 18:28:08 +0100 Subject: [PATCH] Added param descrs collection to ackermannize_bv_tactic --- src/ackermannization/ackermannize_bv_tactic.cpp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/ackermannization/ackermannize_bv_tactic.cpp b/src/ackermannization/ackermannize_bv_tactic.cpp index f9c48c2bd..70230e346 100644 --- a/src/ackermannization/ackermannize_bv_tactic.cpp +++ b/src/ackermannization/ackermannize_bv_tactic.cpp @@ -74,6 +74,10 @@ public: m_lemma_limit = p.div0_ackermann_limit(); } + virtual void collect_param_descrs(param_descrs & r) { + ackermannize_bv_tactic_params::collect_param_descrs(r); + } + virtual void collect_statistics(statistics & st) const { st.update("ackr-constraints", m_st.m_ackrs_sz); }