print 1-bit bit-vectors correctly when using bitwuzla

stanford-centaur / smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Other

114 stars 43 forks source link

print 1-bit bit-vectors correctly when using bitwuzla #309

Closed yoni206 closed 1 year ago

yoni206 commented 2 years ago

Bitwuzla prints the bit-vectors 0 and 1 as false and true, respectively. This PR wraps the result we get from bitwuzla by printing 0 and 1 in these cases. fixes #308 and includes the benchmark provided there. @barrettcw

yoni206 commented 1 year ago

closing and opening a new PR.