search

UoY-RoboStar / robocert-textual

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

sem__events for CollectionTargets is at wrong level of renaming #123

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

It's using the names at the target element level, when it should be using the ones at the component level. As such, it should be a union of the sem__events of the components.

MattWindsor91 commented 2 years ago

This was fixed a few commits ago, it seems.