[PATCH] D54978: Move the SMT API to LLVM
Dominic Chen via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Sat Mar 16 02:23:47 PDT 2019
ddcc added a comment.
In D54978#1431430 <https://reviews.llvm.org/D54978#1431430>, @mikhail.ramalho wrote:
> 2. Instead of parsing `Z3_FULL_VERSION`, we can parse `Z3_MAJOR_VERSION`, `Z3_MINOR_VERSION` and `Z3_BUILD_NUMBER` which are also available in the same header.
Sounds like this might be the way to go, since the format seems to be more stable.
CHANGES SINCE LAST ACTION
More information about the cfe-commits