UoY-RoboStar / robocert-textual

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

Names of package-located artefacts not being expanded correctly #136

Open MattWindsor91 opened 1 year ago

MattWindsor91 commented 1 year ago

On investigating #135, I've noticed that the current CSP generator is omitting the name of the package module when expanding out, for instance, the sem__events of a controller.