diff options
Diffstat (limited to 'src/theory/arith/simplex.cpp')
-rw-r--r-- | src/theory/arith/simplex.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/theory/arith/simplex.cpp b/src/theory/arith/simplex.cpp index 25d154bae..c8f1ce3e8 100644 --- a/src/theory/arith/simplex.cpp +++ b/src/theory/arith/simplex.cpp @@ -429,6 +429,11 @@ Node SimplexDecisionProcedure::updateInconsistentVars(){ if(d_queue.empty()){ return Node::null(); } + static unsigned int instance = 0; + + ++instance; + Debug("arith::updateInconsistentVars") << "begin updateInconsistentVars() " + << instance << endl; d_queue.transitionToDifferenceMode(); @@ -459,6 +464,9 @@ Node SimplexDecisionProcedure::updateInconsistentVars(){ Assert(d_queue.inCollectionMode()); + Debug("arith::updateInconsistentVars") << "end updateInconsistentVars() " + << instance << endl; + return possibleConflict; } |