diff --git a/src/main/java/tmltranslator/tonetwork/TaskNetworkInterfaceOUT.java b/src/main/java/tmltranslator/tonetwork/TaskNetworkInterfaceOUT.java index f1e3e66204038c3b6e85b24f2ba9b4fac2dcca82..5610985050f043b249e5bb8e2a53f037292d09e9 100644 --- a/src/main/java/tmltranslator/tonetwork/TaskNetworkInterfaceOUT.java +++ b/src/main/java/tmltranslator/tonetwork/TaskNetworkInterfaceOUT.java @@ -89,7 +89,6 @@ public class TaskNetworkInterfaceOUT extends TMLTask { } addTMLEvent(packetOutFromOUT); - addReadTMLChannel(outputChannelFromOUT); @@ -151,8 +150,9 @@ public class TaskNetworkInterfaceOUT extends TMLTask { addElement(testingEOP, packetChoice); testingEOP.addGuard("eop == 1"); - - + TMLStopState stopInvalid = new TMLStopState("InvalidCHID", referenceObject); + addElement(packetChoice, stopInvalid); + packetChoice.addGuard("chid == (0-1)"); // Right branch of choice