Fix degenerate pivots logging (#31)

* try to fix degenerate pivots logging * back to default degeneracy check * woops
NeuralNetworkVerification · May 8, 2018 · bc37160 · bc37160
1 parent f18b343
commit bc37160
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/engine/Tableau.cpp b/src/engine/Tableau.cpp
@@ -627,6 +627,7 @@ void Tableau::performPivot()
     log( Stringf( "Change ratio is: %.15lf\n", _changeRatio ) );
 
     updateAssignmentForPivot();
+
     updateCostFunctionForPivot();
 
     // Update the database
@@ -654,6 +655,7 @@ void Tableau::performDegeneratePivot()
 {
     if ( _statistics )
     {
+        _statistics->incNumTableauPivots();
         _statistics->incNumTableauDegeneratePivots();
         _statistics->incNumTableauDegeneratePivotsByRequest();
     }