mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 01:25:31 +00:00
Code Activity

experiment with branching

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2020-02-07 15:40:33 -08:00
parent 6027224e34
commit bbfcd00627
3 changed files with 125 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/theory_lra.cpp
View file

@ -2363,7 +2363,6 @@ public:
if (!should_propagate())
return;
local_bound_propagator bp(*this);
unsigned props = m_stats.m_bound_propagations1;
lp().propagate_bounds_for_touched_rows(bp);
if (m.canceled()) {