[PATCH] D78457: [analyzer][Z3-refutation] Fix refutation BugReporterVisitor bug and refactor

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

(sry for the noise, just keep thinking of new things to reply)

> To call the `visitor::finalizeVisitor` you would need almost the entire world. (A ExprEngine, a CompilerInstance, etc.)

We already have unittests that mock these objects, cf. `ExprEngineConsumer` (feel free to extend as necessary).


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D78457