[PATCH] D54978: Move the SMT API to LLVM

Mon Mar 25 07:31:58 PDT 2019

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