projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bc4a54) | patch
fix (#4637)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 22 Jun 2020 15:33:46 +0000 (08:33 -0700)
committerGitHub <noreply@github.com>
Mon, 22 Jun 2020 15:33:46 +0000 (10:33 -0500)
commit4bd54ef0cc862ae8736c97ecca07f80ab31396df
treeaf6a32ce9135f158a5246683eab608ea3ec1b8eftree
parent3bc4a541b6c3a35fae987cc068e0e01937d5c4b1commit | diff
fix (#4637)

The help message of --bv-print-consts-as-indexed-symbols seems wrong to me, and this PR suggests a fix.
src/options/bv_options.toml diff | blob | history