[PATCH] D54978: Move the SMT API to LLVM
Mikhail Ramalho via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Mon Mar 25 08:21:33 PDT 2019
mikhail.ramalho added a comment.
In D54978#1441453 <https://reviews.llvm.org/D54978#1441453>, @gou4shi1 wrote:
> > ! In D54978#1441417 <https://reviews.llvm.org/D54978#1441417>, @mikhail.ramalho wrote:
> > Sure, I'll create a new revision with the added functions tonight.
>
> I am very happy with your quickly reply.
> btw, `Z3_get_bv_sort_size` is also needed :)
> Thanks for your nice job!
You can get the sort size by calling getBitvectorSortSize().
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D54978/new/
https://reviews.llvm.org/D54978
More information about the cfe-commits
mailing list