From fd6af9181e763cd9564245114cfa47f3952484db Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Fri, 18 Jun 2010 22:24:59 +0000
Subject: Merging the statistics branch into the main trunk. I'll go over how
 to use this Tuesday during the meeting. You'll need to run autogen and
 receonfigure after updating.

---
 src/main/main.cpp | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main')

diff --git a/src/main/main.cpp b/src/main/main.cpp
index 7fb0d92c9..5c19a995d 100644
--- a/src/main/main.cpp
+++ b/src/main/main.cpp
@@ -35,6 +35,7 @@
 #include "util/output.h"
 #include "util/options.h"
 #include "util/result.h"
+#include "util/stats.h"
 
 using namespace std;
 using namespace CVC4;
@@ -85,6 +86,7 @@ int main(int argc, char* argv[]) {
   }
 }
 
+
 int runCvc4(int argc, char* argv[]) {
 
   // Initialize the signal handlers
@@ -183,6 +185,10 @@ int runCvc4(int argc, char* argv[]) {
   // Remove the parser
   delete parser;
 
+  if(options.statistics){
+    StatisticsRegistry::flushStatistics(cerr);
+  }
+
   switch(lastResult.asSatisfiabilityResult().isSAT()) {
 
   case Result::SAT:
-- 
cgit v1.2.3