diff options
-rw-r--r-- | src/main/command_executor.cpp | 4 | ||||
-rw-r--r-- | src/main/options | 2 |
2 files changed, 6 insertions, 0 deletions
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) |