diff options
Diffstat (limited to 'src/options/expr_options.toml')
| -rw-r--r-- | src/options/expr_options.toml | 6 |
1 files changed, 3 insertions, 3 deletions
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"] |