================
@@ -353,6 +353,12 @@ ANALYZER_OPTION(bool, DisplayCTUProgress,
"display-ctu-progress",
"the analyzer's progress related to ctu.",
false)
+ANALYZER_OPTION(
+ StringRef, DumpSEStatsToCSV, "dump-se-stats-to-csv",
----------------
steakhal wrote:
Symbolic Execution. We frequently use `SE` as an alternative to `CSA` for
legacy reasons.
We should probably rename this option to avoid it all together to something
like `dump-entry-point-stats-to-csv`.
https://github.com/llvm/llvm-project/pull/131175
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
