diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-07-27 14:54:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-27 14:54:06 -0700 |
| commit | 4d352cb642ef943215711411db7f6f16522b3688 (patch) | |
| tree | b19f8350c326faca63f38c89c58c67956a4f9dfb /src/options/smt_options.toml | |
| parent | 3c8ede75a164a884c115a648ef15fa66823f339e (diff) | |
Require argument description for non-{bool,void} options. (#2228)
Not adding the argument description for non-{bool,void} options is now an error.
Further, adds missing argument descriptions.
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index ce7b3eeba..7301272b1 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -345,7 +345,7 @@ header = "options/smt_options.h" [[option]] name = "zombieHuntThreshold" category = "regular" - long = "simp-ite-hunt-zombies" + long = "simp-ite-hunt-zombies=N" type = "uint32_t" default = "524288" read_only = true @@ -478,7 +478,7 @@ header = "options/smt_options.h" [[option]] name = "rewriteStep" category = "expert" - long = "rewrite-step" + long = "rewrite-step=N" type = "unsigned" default = "1" read_only = true @@ -487,7 +487,7 @@ header = "options/smt_options.h" [[option]] name = "theoryCheckStep" category = "expert" - long = "theory-check-step" + long = "theory-check-step=N" type = "unsigned" default = "1" read_only = true @@ -496,7 +496,7 @@ header = "options/smt_options.h" [[option]] name = "decisionStep" category = "expert" - long = "decision-step" + long = "decision-step=N" type = "unsigned" default = "1" read_only = true @@ -505,7 +505,7 @@ header = "options/smt_options.h" [[option]] name = "bitblastStep" category = "expert" - long = "bitblast-step" + long = "bitblast-step=N" type = "unsigned" default = "1" read_only = true @@ -514,7 +514,7 @@ header = "options/smt_options.h" [[option]] name = "parseStep" category = "expert" - long = "parse-step" + long = "parse-step=N" type = "unsigned" default = "1" read_only = true @@ -523,7 +523,7 @@ header = "options/smt_options.h" [[option]] name = "lemmaStep" category = "expert" - long = "lemma-step" + long = "lemma-step=N" type = "unsigned" default = "1" read_only = true @@ -532,7 +532,7 @@ header = "options/smt_options.h" [[option]] name = "restartStep" category = "expert" - long = "restart-step" + long = "restart-step=N" type = "unsigned" default = "1" read_only = true @@ -541,7 +541,7 @@ header = "options/smt_options.h" [[option]] name = "cnfStep" category = "expert" - long = "cnf-step" + long = "cnf-step=N" type = "unsigned" default = "1" read_only = true @@ -550,7 +550,7 @@ header = "options/smt_options.h" [[option]] name = "preprocessStep" category = "expert" - long = "preprocess-step" + long = "preprocess-step=N" type = "unsigned" default = "1" read_only = true @@ -559,7 +559,7 @@ header = "options/smt_options.h" [[option]] name = "quantifierStep" category = "expert" - long = "quantifier-step" + long = "quantifier-step=N" type = "unsigned" default = "1" read_only = true @@ -568,7 +568,7 @@ header = "options/smt_options.h" [[option]] name = "satConflictStep" category = "expert" - long = "sat-conflict-step" + long = "sat-conflict-step=N" type = "unsigned" default = "1" read_only = true @@ -577,7 +577,7 @@ header = "options/smt_options.h" [[option]] name = "bvSatConflictStep" category = "expert" - long = "bv-sat-conflict-step" + long = "bv-sat-conflict-step=N" type = "unsigned" default = "1" read_only = true @@ -625,7 +625,7 @@ header = "options/smt_options.h" [[option]] name = "solveIntAsBV" category = "undocumented" - long = "solve-int-as-bv" + long = "solve-int-as-bv=N" type = "uint32_t" default = "0" read_only = true |