search

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert
Eclipse Public License 2.0
2 stars 0 forks source link

Unexpected component-not-in-target validation failures #135

Closed MattWindsor91 closed 1 year ago

MattWindsor91 commented 1 year ago

Thomas reports a 'Component must be a member of the target' error on the same model as #134, with the following mwe:

specification group RADInternal
    target = components of controller radcontrol::CDressingControl
    actors = { component radcontrol::CDressingControl::stm_dressing as DC }

This may be a duplicate of #122, but I think it's a validation error rather than a scoping error.

MattWindsor91 commented 1 year ago

I suspect the problem is that stm_dressing is StateMachineRef and not a StateMachineDef.

MattWindsor91 commented 1 year ago

This has been fixed now, but it was hiding another bug, which I'll type up next.