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/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/options')
-rw-r--r-- | src/options/base_options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/base_options b/src/options/base_options index a6f24c7f3..dd4da0f31 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -107,6 +107,10 @@ common-option statistics statistics --stats bool :predicate CVC4::smt::statsEnab give statistics on exit undocumented-alias --statistics = --stats undocumented-alias --no-statistics = --no-stats +option statsEveryQuery --stats-every-query bool :default false :link --stats + in incremental mode, print stats after every satisfiability or validity query +undocumented-alias --statistics-every-query = --stats-every-query +undocumented-alias --no-statistics-every-query = --no-stats-every-query option parseOnly parse-only --parse-only bool :read-write exit after parsing input |