mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
rebase with Z3Prover/master
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
19120bee81
commit
90f14ec0b3
|
@ -285,7 +285,7 @@ lia_move int_solver::run_gcd_test() {
|
|||
settings().stats().m_gcd_calls++;
|
||||
TRACE("int_solver", tout << "gcd-test " << settings().stats().m_gcd_calls << "\n";);
|
||||
if (!gcd_test()) {
|
||||
settings().st().m_gcd_conflicts++;
|
||||
settings().stats().m_gcd_conflicts++;
|
||||
TRACE("gcd_test", tout << "gcd conflict\n";);
|
||||
return lia_move::conflict;
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue