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

Tue Jun 30 05:23:20 PDT 2020

steakhal added a comment.

In D82856#2122330 <https://reviews.llvm.org/D82856#2122330>, @xazax.hun wrote:

> 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?

You might be right.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D82856