From 321cad70d6854211f8acbd7d13d11feff9275be6 Mon Sep 17 00:00:00 2001 From: Arie Gurfinkel Date: Wed, 6 Sep 2017 17:39:13 -0400 Subject: [PATCH] improve comments for scoped_weakness --- src/muz/spacer/spacer_prop_solver.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/muz/spacer/spacer_prop_solver.h b/src/muz/spacer/spacer_prop_solver.h index e01dfba2e..4aedb9676 100644 --- a/src/muz/spacer/spacer_prop_solver.h +++ b/src/muz/spacer/spacer_prop_solver.h @@ -144,9 +144,11 @@ public: public: scoped_weakness(prop_solver &ps, unsigned solver_id, unsigned weakness) : m_params(*ps.m_fparams[solver_id == 0 ? 0 : 0 /*1*/]) { + // save current values m_arith_ignore_int = m_params.m_arith_ignore_int; m_array_weak = m_params.m_array_weak; + // set values based on weakness score m_params.m_arith_ignore_int = weakness < 1; m_params.m_array_weak = weakness < 2; }