diff options
Diffstat (limited to 'src/options/bv_options.toml')
-rw-r--r-- | src/options/bv_options.toml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index f7ec33f75..7c0aca100 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -109,24 +109,6 @@ header = "options/bv_options.h" help = "use the equality engine for the bit-vector theory (only if --bitblast=lazy)" [[option]] - name = "bitvectorEqualitySlicer" - category = "regular" - long = "bv-eq-slicer=MODE" - type = "BvSlicerMode" - default = "OFF" - help = "turn on the slicing equality solver for the bit-vector theory (only if --bitblast=lazy)" - help_mode = "Bit-vector equality slicer modes." -[[option.mode.ON]] - name = "on" - help = "Turn slicer on." -[[option.mode.OFF]] - name = "off" - help = "Turn slicer off." -[[option.mode.AUTO]] - name = "auto" - help = "Turn slicer on if input has only equalities over core symbols." - -[[option]] name = "bitvectorInequalitySolver" category = "regular" long = "bv-inequality-solver" |