diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-16 16:41:29 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-16 16:41:29 -0800 |
commit | 98962b4d3037c381fadc41e19f7ae9a1ddd82b7b (patch) | |
tree | 12478b21a2b6456f7e3813edf4e28447457ff5d5 /test/regress/regress0/nl | |
parent | ae2fb8ac9f22c9ad65a3d08dfe8319ea0160b0ea (diff) |
bv::utils::mk(And|Or) Do not return true if size of vector is 0. (#1613)
Diffstat (limited to 'test/regress/regress0/nl')
0 files changed, 0 insertions, 0 deletions