Bf opt (#66)

* a more efficient way for inverting the basis * a corner-case that was slowing down some of the regression tests
NeuralNetworkVerification · Jun 13, 2018 · c544628 · c544628
1 parent a7906a4
commit c544628
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/basis_factorization/LUFactors.cpp b/src/basis_factorization/LUFactors.cpp
@@ -351,6 +351,10 @@ void LUFactors::invertBasis( double *result )
 {
     ASSERT( result );
 
+    // Corner case - empty Tableau
+    if ( _m == 0 )
+        return;
+
     /*
       A = F * V = P * L * U * Q