gou4shi1 added a comment. > ! 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 :) 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
