diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-27 16:43:48 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-02-27 17:14:43 -0500 |
| commit | e104d78c5f9f5ee8e931bc4c1b460cfc68a98498 (patch) | |
| tree | 7d9b4e4959917c3ff9cee52011a423f00f942d0c /src/main/options | |
| parent | 251fd73a759a8e5e94103e9b76a06491a92e425b (diff) | |
--stats-every-query option: print increment in addition to cumulative value of each stat
the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)
Diffstat (limited to 'src/main/options')
| -rw-r--r-- | src/main/options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main/options b/src/main/options index 13f4d18ed..35e3df7d2 100644 --- a/src/main/options +++ b/src/main/options @@ -22,8 +22,6 @@ 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) |