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 index 25c69a5b5..d0866753f 100644 --- 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/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/replay/ReplayScheduler.java b/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/replay/ReplayScheduler.java index 2b5b48764..e2ace3f1c 100644 --- a/Src/PRuntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/replay/ReplayScheduler.java +++ b/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