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 485a478d862b3ce040906eec39d4af7911aec91e..601359cea015505ce485c99f5789a8d481821ed1 100644 (file)
--- 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 35e3df7d293e465cc160209def0086385a470516..13f4d18edc541cdc3f58ec3f0c88903cb9426266 100644 (file)
--- 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)