diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-21 04:06:40 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-21 08:11:37 -0500 |
| commit | abe8f7d24ec4323b44d7b7ecc366f59baa76c214 (patch) | |
| tree | 1b7fab6135923ba590c8aadbc6da5ff86b351695 /src/main | |
| parent | 50c26544c83a71e87efa487e4af063b1b5647c0f (diff) | |
option to print stats after every satisfiability or validity query
Diffstat (limited to 'src/main')
| -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) |