diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2020-06-22 08:33:46 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-22 10:33:46 -0500 |
| commit | 4bd54ef0cc862ae8736c97ecca07f80ab31396df (patch) | |
| tree | af6a32ce9135f158a5246683eab608ea3ec1b8ef /src/options/bv_options.toml | |
| parent | 3bc4a541b6c3a35fae987cc068e0e01937d5c4b1 (diff) | |
fix (#4637)
The help message of --bv-print-consts-as-indexed-symbols seems wrong to me, and this PR suggests a fix.
Diffstat (limited to 'src/options/bv_options.toml')
| -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 a72c7d92a..517d864d3 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -291,4 +291,4 @@ header = "options/bv_options.h" 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" |