From 5127014f185b5ff45426bce16258efacd5c96193 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 31 May 2021 20:07:02 -0700 Subject: [PATCH] track cuts --- src/math/lp/lp_settings.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/lp/lp_settings.h b/src/math/lp/lp_settings.h index b850be15b..7656a836f 100644 --- a/src/math/lp/lp_settings.h +++ b/src/math/lp/lp_settings.h @@ -140,6 +140,7 @@ struct statistics { st.update("arith-patches", m_patches); st.update("arith-patches-success", m_patches_success); st.update("arith-hnf-calls", m_hnf_cutter_calls); + st.update("arith-hnf-cuts", m_hnf_cuts); st.update("arith-horner-calls", m_horner_calls); st.update("arith-horner-conflicts", m_horner_conflicts); st.update("arith-horner-cross-nested-forms", m_cross_nested_forms);