search

UoY-RoboStar / robochart-textual

This repository contains the plugins for the RoboChart textual editor
Eclipse Public License 2.0
0 stars 1 forks source link

Implementation of C6 for Controllers permits multiple connections from boundary to state machines #20

Open pefribeiro opened 4 years ago

pefribeiro commented 4 years ago

In the implementation of C6, below, the statement eventConn.put(from, conn) should be on an else branch, otherwise the calculation isn't correct. This issue surfaced in an example being worked outside of the group.

https://github.com/robo-star/circus.robocalc.robochart.textual.parent/blob/a0355989414376f25631b6bf95ae66c40d19da31/circus.robocalc.robochart.textual/src/circus/robocalc/robochart/textual/validation/RoboChartValidator.xtend#L1958-L1988