Merge pull request #20768 from michaelnebel/csharp/extractionlogging

michaelnebel · web-flow · commit c0ebc17bdc9f · 2025-11-17T10:06:05.000+01:00
C#: Report more timing metrics to the console logger.
diff --git a/csharp/extractor/Semmle.Extraction.CSharp.Standalone/Extractor.cs b/csharp/extractor/Semmle.Extraction.CSharp.Standalone/Extractor.cs
@@ -170,7 +170,8 @@ public static ExitCode Run(Options options)
                 fileLogger.LogError($"  Unhandled exception: {ex}");
             }
 
-            logger.Log(Severity.Info, $"Extraction completed in {overallStopwatch.Elapsed}");
+            logger.Log(Severity.Info, $"Extraction completed in {analyzerStopwatch.Elapsed}");
+            logger.Log(Severity.Info, $"Total time: {overallStopwatch.Elapsed}");
 
             return ExitCode.Ok;
         }

Original file line number	Diff line number	Diff line change
`@@ -170,7 +170,8 @@ public static ExitCode Run(Options options)`
`170`	`170`	`fileLogger.LogError($" Unhandled exception: {ex}");`
`171`	`171`	`}`
`172`	`172`
`173`		`- logger.Log(Severity.Info, $"Extraction completed in {overallStopwatch.Elapsed}");`
	`173`	`+ logger.Log(Severity.Info, $"Extraction completed in {analyzerStopwatch.Elapsed}");`
	`174`	`+ logger.Log(Severity.Info, $"Total time: {overallStopwatch.Elapsed}");`
`174`	`175`
`175`	`176`	`return ExitCode.Ok;`
`176`	`177`	`}`