UoY-RoboStar / robocert-textual

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

Constants required from interfaces aren't resolved properly #106

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

If a constant becomes part of a target's parameterisation through being required on an interface, it is currently accidentally attributed to the interface and not to the thing that is actually providing the target.

There seems to be related oddities on the RoboTool front (that or a missing well-formedness condition), which I've emailed for advice on; the fix to this might depend on the outcome for that.