Removed unwanted console logging

ankushdesai · ankushdesai · commit ec7157498cf2 · 2024-11-19T22:55:22.000-08:00
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs b/Src/PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs
@@ -86,7 +86,6 @@ public static void NextIter()
             return;
         }
         int uniqueScore = GetUniqueScore(currSignature);
-        Logger.WriteLine($"----**** UniquenessScore: {uniqueScore}");
         if (uniqueScore != 0)
         {
             AllTimeline.Add(currSignature);
diff --git a/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs b/Src/PChecker/CheckerCore/SystematicTesting/TestingEngine.cs
@@ -651,8 +651,6 @@ private void RunNextIteration(int schedule)
                 if (ShouldPrintIteration(schedule))
                 {
                     var seconds = watch.Elapsed.TotalSeconds;
-                    Logger.WriteLine($"Elapsed: {seconds}, " +
-                                     $"# timelines: {TestReport.ExploredTimelines.Count}");
                     if (Strategy is IFeedbackGuidedStrategy s)
                     {
                         s.DumpStats(Logger);

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,6 @@ public static void NextIter()`
`86`	`86`	`return;`
`87`	`87`	`}`
`88`	`88`	`int uniqueScore = GetUniqueScore(currSignature);`
`89`		`- Logger.WriteLine($"----**** UniquenessScore: {uniqueScore}");`
`90`	`89`	`if (uniqueScore != 0)`
`91`	`90`	`{`
`92`	`91`	`AllTimeline.Add(currSignature);`
Original file line number	Diff line number	Diff line change
`@@ -651,8 +651,6 @@ private void RunNextIteration(int schedule)`
`651`	`651`	`if (ShouldPrintIteration(schedule))`
`652`	`652`	`{`
`653`	`653`	`var seconds = watch.Elapsed.TotalSeconds;`
`654`		`- Logger.WriteLine($"Elapsed: {seconds}, " +`
`655`		`- $"# timelines: {TestReport.ExploredTimelines.Count}");`
`656`	`654`	`if (Strategy is IFeedbackGuidedStrategy s)`
`657`	`655`	`{`
`658`	`656`	`s.DumpStats(Logger);`