mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-21 16:10:26 +00:00
Code Activity

change scheduling in old smt_parallel code to keep it updated

Browse source
This commit is contained in:
Ilana Shapiro 2026-06-14 22:02:00 -07:00
parent fc3892486c
commit 5b307545e6
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/smt/smt_parallel.cpp
View file

@ -294,7 +294,6 @@ namespace smt {
}
if (!m.inc() || canceled()) {
ctx->get_fparams().m_max_conflicts = old_max_conflicts;
b.set_canceled();
return;
}
if (!bb_candidate_lits.contains(lit)) // already handled in singleton core → backbone case below
@ -395,8 +394,10 @@ namespace smt {
while (true) {
if (!m.inc())
break;
if (!m.inc()) {
b.set_canceled();
return;
}
if (canceled())
break;
@ -662,7 +663,6 @@ namespace smt {
core.reset();
core.append(mus);
core.append(unknown);
b.set_canceled();
return;
}