[PATCH] D54978: Move the SMT API to LLVM

[guangqing.chen via Phabricator via cfe-commits]

gou4shi1 added a comment.

> ! In D54978#1441547 <https://reviews.llvm.org/D54978#1441547>, @mikhail.ramalho wrote:
>  You can get the sort size by calling getBitvectorSortSize().

found, thx


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978