From 890bc0f7c9f318852d2ec216418d8b93f968db79 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Wed, 6 Sep 2017 14:51:53 -0400 Subject: [PATCH] fix scoped_weakness forgot to save current state of params before resetting them --- src/muz/spacer/spacer_prop_solver.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/muz/spacer/spacer_prop_solver.h b/src/muz/spacer/spacer_prop_solver.h index c46063137..e01dfba2e 100644 --- a/src/muz/spacer/spacer_prop_solver.h +++ b/src/muz/spacer/spacer_prop_solver.h @@ -144,6 +144,9 @@ public: public: scoped_weakness(prop_solver &ps, unsigned solver_id, unsigned weakness) : m_params(*ps.m_fparams[solver_id == 0 ? 0 : 0 /*1*/]) { + m_arith_ignore_int = m_params.m_arith_ignore_int; + m_array_weak = m_params.m_array_weak; + m_params.m_arith_ignore_int = weakness < 1; m_params.m_array_weak = weakness < 2; }