Statistics Bug fix (#15)

-fixes a bug that caused the Statistics object to be initialized with the default constructor when a query is UNSAT. The variable was declared but not initialized because of try-catch control flow.
NeuralNetworkVerification · Apr 16, 2018 · a4ed2a0 · a4ed2a0
1 parent 71c2f4a
commit a4ed2a0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/maraboupy/MarabouCore.cpp b/maraboupy/MarabouCore.cpp
@@ -69,9 +69,9 @@ std::pair<std::map<int, double>, Statistics> solve(InputQuery inputQuery, std::s
         output=redirectOutputToFile(redirect);
     try{
         Engine engine;
-        if(!engine.processInputQuery(inputQuery)) return std::make_pair(ret, retStats);
+        if(!engine.processInputQuery(inputQuery)) return std::make_pair(ret, *(engine.getStatistics()));
 
-        if(!engine.solve()) return std::make_pair(ret, retStats);
+        if(!engine.solve()) return std::make_pair(ret, *(engine.getStatistics()));
 
         engine.extractSolution(inputQuery);
         retStats = *(engine.getStatistics());