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

Author: aman-goel

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) {

Src/PRuntimes/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