[PEx] parallel: minor change

p-org · Aug 29, 2024 · 9a561c7 · 9a561c7
1 parent 75cd3cc
commit 9a561c7
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git 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
@@ -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);
         }
     }