diff options
| author | Gereon Kremer <nafur42@gmail.com> | 2021-05-17 19:08:51 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-17 17:08:51 +0000 |
| commit | 01dd4f1aadcfc05f26f2ca00bd8afaa5c63ecb6c (patch) | |
| tree | d2c77339fa57a227c12591ef25c14e634f73ac35 /src/options/smt_options.toml | |
| parent | eed22b44b92d14be51f82e4871c926dee79eaf3a (diff) | |
Replace smt_name by aliases (#6541)
This PR replaces the confusing co-existence of long and smt_name for options by long and a list of alias.
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 7328c44ad..22d05f6f7 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -3,7 +3,6 @@ name = "SMT layer" [[option]] name = "dumpModeString" - smt_name = "dump" category = "common" long = "dump=MODE" type = "std::string" @@ -11,7 +10,6 @@ name = "SMT layer" [[option]] name = "dumpToFileName" - smt_name = "dump-to" category = "common" long = "dump-to=FILE" type = "std::string" @@ -27,7 +25,7 @@ name = "SMT layer" [[option]] name = "simplificationMode" - smt_name = "simplification-mode" + alias = ["simplification-mode"] category = "regular" long = "simplification=MODE" type = "SimplificationMode" @@ -51,7 +49,7 @@ name = "SMT layer" [[option]] name = "expandDefinitions" - smt_name = "expand-definitions" + long = "expand-definitions" category = "regular" type = "bool" default = "false" @@ -193,7 +191,6 @@ name = "SMT layer" [[option]] name = "unsatCoresMode" - smt_name = "unsat-cores-mode" category = "regular" long = "unsat-cores-mode=MODE" type = "UnsatCoresMode" @@ -265,7 +262,7 @@ name = "SMT layer" [[option]] name = "interactiveMode" - smt_name = "interactive-mode" + long = "interactive-mode" category = "undocumented" type = "bool" predicates = ["setProduceAssertions"] @@ -384,7 +381,7 @@ name = "SMT layer" [[option]] name = "modelUninterpPrint" - smt_name = "model-uninterp-print" + alias = ["model-uninterp-print"] category = "regular" long = "model-u-print=MODE" type = "ModelUninterpPrintMode" @@ -415,14 +412,14 @@ name = "SMT layer" [[option]] name = "regularChannelName" - smt_name = "regular-output-channel" + long = "regular-output-channel=CHANNEL" category = "regular" type = "std::string" help = "set the regular output channel of the solver" [[option]] name = "diagnosticChannelName" - smt_name = "diagnostic-output-channel" + long = "diagnostic-output-channel=CHANNEL" category = "regular" type = "std::string" help = "set the diagnostic output channel of the solver" |