diff options
Diffstat (limited to 'src/options/bv_options.toml')
-rw-r--r-- | src/options/bv_options.toml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index fcad51ceb..8d4c2b1de 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -191,22 +191,6 @@ name = "Bitvector Theory" help = "simplify formula via Gaussian Elimination if applicable" [[option]] - name = "bvLazyRewriteExtf" - category = "regular" - long = "bv-lazy-rewrite-extf" - type = "bool" - default = "true" - help = "lazily rewrite extended functions like bv2nat and int2bv" - -[[option]] - name = "bvLazyReduceExtf" - category = "regular" - long = "bv-lazy-reduce-extf" - type = "bool" - default = "false" - help = "reduce extended functions like bv2nat and int2bv at last call instead of full effort" - -[[option]] name = "bvAlgExtf" category = "regular" long = "bv-alg-extf" |