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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
