diff options
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 2e2742e73..026c8f494 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -395,6 +395,9 @@ name = "SMT Layer" [[option.mode.BV]] name = "bv" help = "Translate bvand back to bit-vectors" +[[option.mode.BITWISE]] + name = "bitwise" + help = "Introduce a UF operator for bvand, and eagerly add bitwise lemmas" [[option]] name = "BVAndIntegerGranularity" |