mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
ensure parameters are passed to local search
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
0f7ff2a3d0
commit
3985cfa33c
|
@ -1273,6 +1273,7 @@ namespace sat {
|
|||
SASSERT(m_local_search);
|
||||
i_local_search& srch = *m_local_search;
|
||||
srch.add(*this);
|
||||
srch.updt_params(m_params);
|
||||
scoped_rl.push_child(&srch.rlimit());
|
||||
lbool r = srch.check(num_lits, lits, nullptr);
|
||||
if (r == l_true) {
|
||||
|
@ -3850,7 +3851,7 @@ namespace sat {
|
|||
// -----------------------
|
||||
|
||||
void solver::updt_params(params_ref const & p) {
|
||||
m_params = p;
|
||||
m_params.append(p);
|
||||
m_config.updt_params(p);
|
||||
m_simplifier.updt_params(p);
|
||||
m_asymm_branch.updt_params(p);
|
||||
|
|
Loading…
Reference in a new issue