Open madielfilho opened 1 year ago
Currently, it seems that the validator doesn't take into account the well-formedness condition M3. More specifically, it seems that an event on the robotic platform may have multiple connections to different events on controllers of a module.
Currently, it seems that the validator doesn't take into account the well-formedness condition M3. More specifically, it seems that an event on the robotic platform may have multiple connections to different events on controllers of a module.