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/options | |
parent | 50c26544c83a71e87efa487e4af063b1b5647c0f (diff) |
option to print stats after every satisfiability or validity query
Diffstat (limited to 'src/main/options')
-rw-r--r-- | src/main/options | 2 |
1 files changed, 2 insertions, 0 deletions
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) |