[PEx] Fix serialization issues found by P regression tests

p-org · Jul 19, 2024 · 8557942 · 8557942
1 parent 4740e2c
commit 8557942
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/...ntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/machine/events/PContinuation.java b/...ntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/machine/events/PContinuation.java
@@ -8,13 +8,14 @@
 import pexplicit.values.PMessage;
 import pexplicit.values.PValue;
 
+import java.io.Serializable;
 import java.util.HashMap;
 import java.util.HashSet;
 import java.util.Map;
 import java.util.Set;
 
 @Getter
-public class PContinuation {
+public class PContinuation implements Serializable {
     private final Set<String> caseEvents;
     private final SerializableBiFunction<PMachine, PMessage> handleFun;
     @Getter

diff --git a/...mes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/choice/ScheduleChoice.java b/...mes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/choice/ScheduleChoice.java
@@ -20,7 +20,7 @@ public class ScheduleChoice extends Choice<PMachineId> {
     /**
      * Protocol state at the schedule step
      */
-    private StepState choiceState = null;
+    private transient StepState choiceState = null;
 
     /**
      * Constructor