[PEx] Minor: create .schedule only if bug is found

p-org · Jul 19, 2024 · 78b7dff · 78b7dff
1 parent 0c4be9e
commit 78b7dff
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/logger/PExplicitLogger.java b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/logger/PExplicitLogger.java
@@ -61,8 +61,6 @@ public static void Initialize(int verb) {
         // initialize all loggers and writers
         StatWriter.Initialize();
         ScratchLogger.Initialize();
-        ScheduleWriter.Initialize();
-        TextWriter.Initialize();
     }
 
     public static void logInfo(String message) {

diff --git a/...es/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/replay/ReplayScheduler.java b/...es/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/replay/ReplayScheduler.java
@@ -3,6 +3,7 @@
 import pexplicit.runtime.PExplicitGlobal;
 import pexplicit.runtime.logger.PExplicitLogger;
 import pexplicit.runtime.logger.ScheduleWriter;
+import pexplicit.runtime.logger.TextWriter;
 import pexplicit.runtime.machine.PMachine;
 import pexplicit.runtime.machine.PMachineId;
 import pexplicit.runtime.scheduler.Schedule;
@@ -21,6 +22,10 @@ public ReplayScheduler(Schedule sch) {
     @Override
     public void run() throws TimeoutException, InterruptedException {
         PExplicitLogger.logStartReplay();
+
+        ScheduleWriter.Initialize();
+        TextWriter.Initialize();
+
         ScheduleWriter.logHeader();
 
         // log run test