diff options
Diffstat (limited to 'src/options/bv_options.toml')
| -rw-r--r-- | src/options/bv_options.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index 5c8cd8f58..517d864d3 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -286,9 +286,9 @@ header = "options/bv_options.h" help = "algebraic inferences for extended functions" [[option]] - name = "bvPrintConstsInBinary" + name = "bvPrintConstsAsIndexedSymbols" category = "regular" - long = "bv-print-consts-in-binary" + long = "bv-print-consts-as-indexed-symbols" type = "bool" default = "false" - help = "print bit-vector constants in binary (e.g. #b0001) instead of decimal (e.g. (_ bv1 4)), applies to SMT-LIB 2.x" + help = "print bit-vector constants in decimal (e.g. (_ bv1 4)) instead of binary (e.g. #b0001), applies to SMT-LIB 2.x" |