diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-06-05 09:54:51 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-05 09:54:51 -0300 |
commit | 80b0795702e71d54ed7c17ba809eebde628eb516 (patch) | |
tree | d9950f742d4763b520185d4f27aa666d67509429 /src/options/bv_options.toml | |
parent | 60746dc3ac7806475b5b6dab03123df024bf613e (diff) |
Printing FP values as binary or indexed BVs according to option (#4554)
Diffstat (limited to 'src/options/bv_options.toml')
-rw-r--r-- | src/options/bv_options.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index 5c8cd8f58..a72c7d92a 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" |