[PATCH] D54978: Move the SMT API to LLVM

Dominic Chen via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Mar 18 13:12:00 PDT 2019


ddcc added inline comments.


================
Comment at: llvm/cmake/modules/FindZ3.cmake:92
+
+  set(Z3_VERSION_STRING ${Z3_MAJOR}.${Z3_MINOR}.${Z3_MAJOR})
+  unset(z3_version_str)
----------------
Should be ${Z3_MAJOR}.${Z3_MINOR}.${Z3_BUILD_NUMBER}


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

https://reviews.llvm.org/D54978





More information about the cfe-commits mailing list