projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae2fb8a) | patch
bv::utils::mk(And|Or) Do not return true if size of vector is 0. (#1613)
authorAina Niemetz <aina.niemetz@gmail.com>
Sat, 17 Feb 2018 00:41:29 +0000 (16:41 -0800)
committerGitHub <noreply@github.com>
Sat, 17 Feb 2018 00:41:29 +0000 (16:41 -0800)
commit98962b4d3037c381fadc41e19f7ae9a1ddd82b7b
tree12478b21a2b6456f7e3813edf4e28447457ff5d5tree
parentae2fb8ac9f22c9ad65a3d08dfe8319ea0160b0eacommit | diff
bv::utils::mk(And|Or) Do not return true if size of vector is 0. (#1613)
src/theory/bv/bv_subtheory_core.cpp diff | blob | history
src/theory/bv/theory_bv_utils.h diff | blob | history