From 9a561c76b684db62c78396eacf85a9d1148ce896 Mon Sep 17 00:00:00 2001
From: Aman Goel <goelaman@amazon.com>
Date: Thu, 29 Aug 2024 22:11:59 +0000
Subject: [PATCH] [PEx] parallel: minor change

---
 .../src/main/java/pex/RuntimeExecutor.java           |  2 ++
 .../src/main/java/pex/runtime/PExGlobal.java         | 12 +++++-------
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/Src/PRuntimes/PExRuntime/src/main/java/pex/RuntimeExecutor.java b/Src/PRuntimes/PExRuntime/src/main/java/pex/RuntimeExecutor.java
index 800eee3e8..6c05436cc 100644
--- a/Src/PRuntimes/PExRuntime/src/main/java/pex/RuntimeExecutor.java
+++ b/Src/PRuntimes/PExRuntime/src/main/java/pex/RuntimeExecutor.java
@@ -103,6 +103,8 @@ private static void runWithTimeout() throws Exception {
             TimeUnit.SECONDS.sleep(1);
             PExGlobal.printProgress(false);
         }
+        PExGlobal.printProgress(true);
+        PExGlobal.printProgressFooter();
 
         if (resultException != null) {
             throw resultException;
diff --git a/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java b/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
index 1706542db..3c01bf75d 100644
--- a/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
+++ b/Src/PRuntimes/PExRuntime/src/main/java/pex/runtime/PExGlobal.java
@@ -224,8 +224,6 @@ public static void updateResult() {
     }
 
     public static void recordStats() {
-        printProgress(true);
-
         // print basic statistics
         StatWriter.log("#-schedules", String.format("%d", getTotalSchedules()));
         StatWriter.log("#-timelines", String.format("%d", timelines.size()));
@@ -278,6 +276,10 @@ public static void printProgressHeader() {
         System.out.println(s);
     }
 
+    public static void printProgressFooter() {
+        System.out.println();
+    }
+
     public static void printProgress(boolean forcePrint) {
         if (forcePrint || (TimeMonitor.findInterval(lastReportTime) > 10)) {
             lastReportTime = Instant.now();
@@ -312,11 +314,7 @@ public static void printProgress(boolean forcePrint) {
                 s.append(StringUtils.center(String.format("%d", stateCache.size()), 12));
             }
 
-            if (forcePrint) {
-                System.out.println(s);
-            } else {
-                System.out.print(s);
-            }
+            System.out.print(s);
         }
     }