diff options
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/bv_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index e5b96b54a..fcad51ceb 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -227,7 +227,7 @@ name = "Bitvector Theory" category = "regular" long = "bv-solver=MODE" type = "BVSolver" - default = "LAZY" + default = "BITBLAST" help = "choose bit-vector solver, see --bv-solver=help" help_mode = "Bit-vector solvers." [[option.mode.BITBLAST]] |