diff options
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index cd8a530fc..f78dbb3b8 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -536,6 +536,24 @@ header = "options/smt_options.h" help = "amount of resources spent for each bitblast step" [[option]] + name = "bvPropagationStep" + category = "expert" + long = "bv-propagation-step=N" + type = "unsigned" + default = "1" + read_only = true + help = "amount of resources spent for each BV propagation step" + +[[option]] + name = "bvEagerAssertStep" + category = "expert" + long = "bv-eager-assert-step=N" + type = "unsigned" + default = "1" + read_only = true + help = "amount of resources spent for each eager BV assert step" + +[[option]] name = "parseStep" category = "expert" long = "parse-step=N" |