projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb9539e) | patch
Normalize val in BitVector(val_str, base) (#6955)
authorAlex Ozdemir <aozdemir@hmc.edu>
Thu, 5 Aug 2021 21:15:02 +0000 (14:15 -0700)
committerGitHub <noreply@github.com>
Thu, 5 Aug 2021 21:15:02 +0000 (21:15 +0000)
commit1aee1f42fec34159ef53ab0ad4ac5c6697f38f14
tree8faf81ab032a0b615ff5b7380fd47a888a3d42f8tree
parentcb9539e1b150593e22128e1dda7d692e6444ec4bcommit | diff
Normalize val in BitVector(val_str, base)  (#6955)

Fixes cpp API's mkBitVector(val_str, base) constructor.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/util/bitvector.h diff | blob | history
test/unit/api/solver_black.cpp diff | blob | history
test/unit/util/bitvector_black.cpp diff | blob | history