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 /test/regress/regress0/nl/issue3729-cm-solved-tf.smt2 | |
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 'test/regress/regress0/nl/issue3729-cm-solved-tf.smt2')
0 files changed, 0 insertions, 0 deletions