mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
This commit is contained in:
parent
13f43ea107
commit
d6d34a8962
|
@ -488,7 +488,8 @@ namespace euf {
|
|||
};
|
||||
if (merge_shared_bools())
|
||||
cont = true;
|
||||
for (auto* e : m_solvers) {
|
||||
for (unsigned i = 0; i < m_solvers.size(); ++i) {
|
||||
auto* e = m_solvers[i];
|
||||
if (!m.inc())
|
||||
return sat::check_result::CR_GIVEUP;
|
||||
if (e == m_qsolver)
|
||||
|
|
Loading…
Reference in a new issue