mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

fix scoped_weakness

Browse source 
forgot to save current state of params before resetting them
This commit is contained in:
Arie Gurfinkel 2017-09-06 14:51:53 -04:00
parent 68518b0e32
commit 890bc0f7c9
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/muz/spacer/spacer_prop_solver.h
View file

@ -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;
}