From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Fri, 21 Feb 2014 09:06:40 +0000 (-0500)
Subject: option to print stats after every satisfiability or validity query
X-Git-Tag: cvc5-1.0.0~7076^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=abe8f7d24ec4323b44d7b7ecc366f59baa76c214;p=cvc5.git

option to print stats after every satisfiability or validity query
---

diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp
index 485a478d8..601359cea 100644
--- a/src/main/command_executor.cpp
+++ b/src/main/command_executor.cpp
@@ -19,6 +19,7 @@
 
 #include "main/main.h"
 
+#include "main/options.h"
 #include "smt/options.h"
 
 namespace CVC4 {
@@ -76,6 +77,9 @@ bool CommandExecutor::doCommandSingleton(Command* cmd)
   if(q != NULL) {
     d_result = res = q->getResult();
   }
+  if((cs != NULL || q != NULL) && d_options[options::statsEveryQuery]) {
+    flushStatistics(*d_options[options::err]);
+  }
   // dump the model/proof if option is set
   if(status) {
     if( d_options[options::produceModels] &&
diff --git a/src/main/options b/src/main/options
index 35e3df7d2..13f4d18ed 100644
--- a/src/main/options
+++ b/src/main/options
@@ -22,6 +22,8 @@ option - --show-trace-tags void :handler CVC4::main::showTraceTags :handler-incl
 
 expert-option earlyExit --early-exit bool :default true
  do not run destructors at exit; default on except in debug builds
+expert-option statsEveryQuery --stats-every-query bool :default false
+ print stats after every satisfiability or validity query
 
 # portfolio options
 option threads --threads=N unsigned :default 2 :predicate greater(0)