[PATCH] D82856: [analyzer][Z3-refutation] Add statistics for refutation visitor

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

> I have one question though. Isn't this counting all the reports in an equivalence class?

Yes it is. You have no choice but to run refutation before deduplication; otherwise the otherwise-best report in the class may be false when other reports are true.


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

https://reviews.llvm.org/D82856