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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp:2856-2857
   Optional<bool> IsSAT = RefutationSolver->check();
   if (!IsSAT.hasValue())
     return;
 
----------------
I strongly recommend a statistic for this branch as well. I.e., how many reports were too difficult for the refutation solver to solve.


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

https://reviews.llvm.org/D82856