diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/options/README | 4 | ||||
-rw-r--r-- | src/options/expr_options.toml | 6 | ||||
-rw-r--r-- | src/options/options_handler.cpp | 4 |
3 files changed, 7 insertions, 7 deletions
diff --git a/src/options/README b/src/options/README index ac371e835..47a7d9db7 100644 --- a/src/options/README +++ b/src/options/README @@ -111,7 +111,7 @@ Aliases [[alias]] category = "regular" long = "smtlib-strict" - links = ["--lang=smt2", "--output-lang=smt2", "--strict-parsing", "--default-expr-depth=-1", "--print-success", "--incremental", "--abstract-values"] + links = ["--lang=smt2", "--output-lang=smt2", "--strict-parsing", "--expr-depth=-1", "--print-success", "--incremental", "--abstract-values"] help = "SMT-LIBv2 compliance mode (implies other options)" @@ -123,7 +123,7 @@ Aliases is equivalent to specifying the options - --lang=smt2 --output-lang=smt2 --strict-parsing --default-expr-depth=-1 --print-success --incremental --abstract-values + --lang=smt2 --output-lang=smt2 --strict-parsing --expr-depth=-1 --print-success --incremental --abstract-values It's also possible to pass an argument through to another option. diff --git a/src/options/expr_options.toml b/src/options/expr_options.toml index b64758fd2..c26622fef 100644 --- a/src/options/expr_options.toml +++ b/src/options/expr_options.toml @@ -5,7 +5,7 @@ header = "options/expr_options.h" [[option]] name = "defaultExprDepth" category = "regular" - long = "default-expr-depth=N" + long = "expr-depth=N" type = "int" default = "0" predicates = ["setDefaultExprDepthPredicate"] @@ -15,9 +15,9 @@ header = "options/expr_options.h" [[option]] name = "defaultDagThresh" - smt_name = "default-dag-thresh" + smt_name = "dag-thresh" category = "regular" - long = "default-dag-thresh=N" + long = "dag-thresh=N" type = "int" default = "1" predicates = ["setDefaultDagThreshPredicate"] diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp index 7fcc8f2ae..9253ea1c8 100644 --- a/src/options/options_handler.cpp +++ b/src/options/options_handler.cpp @@ -350,13 +350,13 @@ void OptionsHandler::notifyDumpMode(std::string option) // expr/options_handlers.h void OptionsHandler::setDefaultExprDepthPredicate(std::string option, int depth) { if(depth < -1) { - throw OptionException("--default-expr-depth requires a positive argument, or -1."); + throw OptionException("--expr-depth requires a positive argument, or -1."); } } void OptionsHandler::setDefaultDagThreshPredicate(std::string option, int dag) { if(dag < 0) { - throw OptionException("--default-dag-thresh requires a nonnegative argument."); + throw OptionException("--dag-thresh requires a nonnegative argument."); } } |