Single communication channel
Created by: CThuleHansen
Currently there is an issue in SymphonyIDE where it is not possible to use a single channel to communicate both data to an FMU and data from an FMU. MWE that deadlocks:
channels
b: nat * nat
process FMU1 =
begin
@ b?x!5 -> Stop
end
process FMU2 =
begin
@ b!8?v -> Stop
end
process FMIx = (FMU1 [|{b}|] FMU2)