projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66cfa09) | patch
update doc (#5619)
authoryoni206 <yoni206@users.noreply.github.com>
Wed, 9 Dec 2020 00:42:25 +0000 (16:42 -0800)
committerGitHub <noreply@github.com>
Wed, 9 Dec 2020 00:42:25 +0000 (18:42 -0600)
commit831bf3412fd4d95656539d7d61fe6d3f7150368c
tree410fdd7ec9838749203758c2fdafd956db1dbbb3tree
parent66cfa09ecbd7d6eac2778745c9837dc20b8a23e7commit | diff
update doc (#5619)

The current help message for --bv-div-zero-const only mentions bvudiv (in which the result is -1) and not bvurem (in which the result is the first argument).
I think this is a bit misleading, because in practice, this option controls also the behavior of bvurem:
CVC4/src/theory/bv/theory_bv.cpp

Line 134 in 0309ef4

 if (options::bitvectorDivByZeroConst())
This PR is an attempt to provide a more accurate help message.
src/options/bv_options.toml diff | blob | history