[PATCH] D82856: [analyzer][Z3-refutation] Add statistics for refutation visitor
Gábor Horváth via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 30 04:18:57 PDT 2020
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
More information about the cfe-commits
mailing list