Merging CAV14 paper bit-vector work.

2 files changed, 7 insertions, 1 deletions

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index 9de3b2134..1cc024117 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -330,6 +330,12 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
 
       *d_options[options::out]
         << d_ostringstreams[portfolioReturn.first]->str();
+      // FIXME! MASSIVE HACK!!
+      if(d_options[options::statistics]) {
+        pExecutor->flushStatistics(*d_options[options::err]);
+      }
+
+      exit(0);
     }
 
     /* cleanup this check sat specific stuff */
diff --git a/src/main/portfolio.cpp b/src/main/portfolio.cpp
index ebf36b0cd..a5fe46d27 100644
--- a/src/main/portfolio.cpp
+++ b/src/main/portfolio.cpp
@@ -95,7 +95,7 @@ std::pair<int, S> runPortfolio(int numThreads,
   for(int t = 0; t < numThreads; ++t) {
     if(optionWaitToJoin) {
       threads[t].join();
-    }
+    } 
   }
 
   std::pair<int, S> retval(global_winner, threads_returnValue[global_winner]);