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

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

Yay! This looks good to me and I love statistics, so a huge +1. 
I have one question though. Isn't this counting all the reports in an equivalence class? I.e. if the analyzer finds something multiple times it will only be displayed once but here it will be counted multiple times. I think it might be worth to have two statistics, one for all bug reports and one for equivalence classes. What do you think?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D82856