[PATCH] D86223: [analyzer][z3] Use more elaborate z3 variable names in debug build

[Mikhail Ramalho via Phabricator via cfe-commits]

mikhail.ramalho added a comment.

I don't mind having it for release builds as well, why are you applying it only for debug builds?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D86223