mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

fix #2782

Browse source
This commit is contained in:
Nikolaj Bjorner 2019-12-04 10:31:02 +03:00
parent 2f6a9ba39b
commit 3d874313d3
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/diff_logic.h
View file

@ -511,6 +511,9 @@ public:
bool enable_edge(edge_id id) { bool enable_edge(edge_id id) {
edge& e = m_edges[id]; edge& e = m_edges[id];
bool r = true; bool r = true;
if (!is_feasible()) {
return false;
}
if (!e.is_enabled()) { if (!e.is_enabled()) {
e.enable(m_timestamp); e.enable(m_timestamp);
m_last_enabled_edge = id; m_last_enabled_edge = id;