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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits