mirror of
https://github.com/Z3Prover/z3
synced 2025-04-14 21:08:46 +00:00
na
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
parent
ccce599bad
commit
3bbf1474f3
|
@ -99,11 +99,10 @@ int int_branch::find_inf_int_base_column() {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
} else if (boxed &&
|
} else if (boxed &&
|
||||||
(new_range = lcs.m_r_upper_bounds()[j].x - lcs.m_r_lower_bounds()[j].x)
|
(range = lcs.m_r_upper_bounds()[j].x - lcs.m_r_lower_bounds()[j].x)
|
||||||
<= small_range_thresold) {
|
<= small_range_thresold) {
|
||||||
small = true;
|
small = true;
|
||||||
result = j;
|
result = j;
|
||||||
range = new_range;
|
|
||||||
n = 1;
|
n = 1;
|
||||||
} else if (result == -1) {
|
} else if (result == -1) {
|
||||||
result = j;
|
result = j;
|
||||||
|
|
Loading…
Reference in a new issue