diff options
Diffstat (limited to 'src/options/base_options.toml')
-rw-r--r-- | src/options/base_options.toml | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/src/options/base_options.toml b/src/options/base_options.toml index 15ace0869..43060bc54 100644 --- a/src/options/base_options.toml +++ b/src/options/base_options.toml @@ -56,16 +56,6 @@ header = "options/base_options.h" category = "undocumented" type = "bool" -[[alias]] - category = "undocumented" - long = "language=L" - links = ["--lang=L"] - -[[alias]] - category = "undocumented" - long = "output-language=L" - links = ["--output-lang=L"] - [[option]] name = "verbosity" smt_name = "verbosity" @@ -103,16 +93,6 @@ header = "options/base_options.h" read_only = true help = "give statistics on exit" -[[alias]] - category = "undocumented" - long = "statistics" - links = ["--stats"] - -[[alias]] - category = "undocumented" - long = "no-statistics" - links = ["--no-stats"] - [[option]] name = "statsEveryQuery" category = "regular" @@ -123,16 +103,6 @@ header = "options/base_options.h" read_only = true help = "in incremental mode, print stats after every satisfiability or validity query" -[[alias]] - category = "undocumented" - long = "statistics-every-query" - links = ["--stats-every-query"] - -[[alias]] - category = "undocumented" - long = "no-statistics-every-query" - links = ["--no-stats-every-query"] - [[option]] name = "statsHideZeros" category = "regular" @@ -142,21 +112,6 @@ header = "options/base_options.h" read_only = true help = "hide statistics which are zero" -[[alias]] - category = "undocumented" - long = "stats-show-zeros" - links = ["--no-stats-hide-zeros"] - -[[alias]] - category = "undocumented" - long = "hide-zero-stats" - links = ["--stats-hide-zeros"] - -[[alias]] - category = "undocumented" - long = "show-zero-stats" - links = ["--stats-show-zeros"] - [[option]] name = "parseOnly" category = "regular" |