diff options
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 |