diff options
Diffstat (limited to 'src/options/bv_options.toml')
-rw-r--r-- | src/options/bv_options.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index 3172f8d5f..34bdfcdaa 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -243,3 +243,11 @@ name = "Bitvector theory" name = "simple" help = "Enables simple bitblasting solver with proof support." +[[option]] + name = "bvAssertInput" + category = "regular" + long = "bv-assert-input" + type = "bool" + default = "false" + help = "assert input assertions on user-level 0 instead of assuming them in the bit-vector SAT solver" + |