UoY-RoboStar / robocert-textual

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

Message sets should be in the open target definition #121

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

At some point, the message sets module got moved from the open target definition into the main definition. This is wrong, as it means that any overrides to the instantiation will be omitted.

We need to be careful and make sure that the model shifting context still manages to pick up the universe, so the universe will probably need to become its own definition.