Removed unwanted console logging

p-org · Nov 20, 2024 · ec71574 · ec71574
1 parent b45194b
commit ec71574
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/...PChecker/CheckerCore/SystematicTesting/Strategies/Feedback/Coverage/BehavioralObserver.cs b/...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);