[PATCH] D54978: Move the SMT API to LLVM

Fri Feb 8 11:06:49 PST 2019

george.karpenkov added a comment.

> There is at least one other conflicting commit rL353465 <https://reviews.llvm.org/rL353465> on top of this code already.

Sorry about that. I think it would be fine to revert both or to replay the other commit on top of reverted version of this one.

@mikhail.ramalho could you take a look?

Repository:
  rC Clang

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

https://reviews.llvm.org/D54978