diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-05 20:35:15 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-06-06 15:45:38 -0400 |
commit | d9391910e499d03b5a01345b572dc89c930bdb51 (patch) | |
tree | 8ef4793014f2f7ef88b3cc154297c7bce584582b /src/options | |
parent | 5c42662fe5cea3051341c8292202357e2a5e7dd3 (diff) |
option to hide stats which are zero (off by default), also some aliases
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/base_options | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/options/base_options b/src/options/base_options index f3ba38a6a..ed94e68f6 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -111,6 +111,11 @@ 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 statsHideZeros --stats-hide-zeros/--stats-show-zeros bool :default false + hide statistics which are zero +/show statistics even when they are zero (default) +undocumented-alias --hide-zero-stats = --stats-hide-zeros +undocumented-alias --show-zero-stats = --stats-show-zeros option parseOnly parse-only --parse-only bool :read-write exit after parsing input |