diff --git a/src/main/java/tmltranslator/TMLModeling.java b/src/main/java/tmltranslator/TMLModeling.java index f658673242c3c17892b4edede324ce2f5a096f42..20ea427e907b779841e1d1fb5b19813a8d365726 100755 --- a/src/main/java/tmltranslator/TMLModeling.java +++ b/src/main/java/tmltranslator/TMLModeling.java @@ -2363,6 +2363,10 @@ public class TMLModeling<E> { _ch.getDestinationTasks().get(i).replaceReadChannelWith(_ch, chans[i]); } + // Reworking _ch type: it cannot be non blocking on reading + if (_ch.getType() == TMLChannel.NBRNBW) { + _ch.setType(TMLChannel.BRNBW); + } // Transform the original channel into a basic channel _ch.setTasks(_ch.getOriginTasks().get(0), forkTask); diff --git a/src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java b/src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java index 9f877241f784d8b594d4729502ef276b89fe29bc..2153f4b4e8ec4065638c7e872cc7f9c0b35704ae 100644 --- a/src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java +++ b/src/main/java/ui/interactivesimulation/JFrameInteractiveSimulation.java @@ -1984,7 +1984,7 @@ public class JFrameInteractiveSimulation extends JFrame implements ActionListene String val = node0.getTextContent(); TraceManager.addDev("Sim time=" + val); int valueCycle = Integer.decode(val); - long timeP = (long)((long)(valueCycle) * 1000 / frequency); + long timeP = ((long)(valueCycle) * 1000 / frequency); val = formatString(val); String timePS = formatString(""+timeP); val = val + " cycles / " + timePS + " ns";