diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-04-02 11:59:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-02 13:59:34 -0500 |
| commit | e24e6f3620996ee9e5010d30fefc51247cc55fdc (patch) | |
| tree | cb44e6cd092956a05ac00d4104d19bd0e1f36eb4 /src/options/smt_options.toml | |
| parent | aa6fb6fa3df0b1519e6763e72541c022396ab1dc (diff) | |
Remove undocumented/uncommon aliases (#4177)
This commit removes aliases that are either undocumented or associated
with uncommon options.
Note: The removal of --statistics, --language, and --output-language may be controversial. The options were undocumented previously and I am in favor of simplifying the options as much as possible, however. Please let me know what you think.
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index c813e1900..a0e3014b0 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -46,12 +46,6 @@ header = "options/smt_options.h" name = "batch" help = "Save up all ASSERTions; run nonclausal simplification and clausal (MiniSat) propagation for all of them only after reaching a querying command (CHECKSAT or QUERY or predicate SUBTYPE declaration)." -[[alias]] - category = "regular" - long = "no-simplification" - links = ["--simplification=none"] - help = "turn off all simplification (same as --simplification=none)" - [[option]] name = "doStaticLearning" category = "regular" |