Remove feedback strategy stats dump in console

Christine Zhou · Christine Zhou · commit 1a618cc64c5d · 2025-03-11T16:41:38.000-07:00
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestReport.cs
@@ -241,13 +241,12 @@ public string GetText(CheckerConfiguration checkerConfiguration, string prefix =
                 totalExploredSchedules,
                 totalExploredSchedules == 1 ? string.Empty : "s");
             
-            // Comment out this part until feedback strategy error is fixed
-            // report.AppendLine();
-            // report.AppendFormat(
-            //     "{0} Explored {1} timeline{2}",
-            //     prefix.Equals("...") ? "....." : prefix,
-            //     ExploredTimelines.Count,
-            //     ExploredTimelines.Count == 1 ? string.Empty : "s");
+            report.AppendLine();
+            report.AppendFormat(
+                "{0} Explored {1} timeline{2}",
+                prefix.Equals("...") ? "....." : prefix,
+                ExploredTimelines.Count,
+                ExploredTimelines.Count == 1 ? string.Empty : "s");
 
             if (totalExploredSchedules > 0 &&
                 NumOfFoundBugs > 0)
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
@@ -644,10 +644,6 @@ private void RunNextIteration(int schedule)
                 if (ShouldPrintIteration(schedule))
                 {
                     var seconds = watch.Elapsed.TotalSeconds;
-                    if (Strategy is IFeedbackGuidedStrategy s)
-                    {
-                        s.DumpStats(Logger);
-                    }
                 }
 
                 if (!IsReplayModeEnabled && _checkerConfiguration.PerformFullExploration && runtime.Scheduler.BugFound)

Original file line number	Diff line number	Diff line change
`@@ -644,10 +644,6 @@ private void RunNextIteration(int schedule)`
`644`	`644`	`if (ShouldPrintIteration(schedule))`
`645`	`645`	`{`
`646`	`646`	`var seconds = watch.Elapsed.TotalSeconds;`
`647`		`- if (Strategy is IFeedbackGuidedStrategy s)`
`648`		`- {`
`649`		`- s.DumpStats(Logger);`
`650`		`- }`
`651`	`647`	`}`
`652`	`648`
`653`	`649`	`if (!IsReplayModeEnabled && _checkerConfiguration.PerformFullExploration && runtime.Scheduler.BugFound)`