search

UoY-RoboStar / robocert-textual

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

Allow context at CSP group scope #62

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 3 years ago

Often we might have several CSP processes in the same group that use the same tick-tock context. It'd be easier if this context could be specified once for the whole group instead of on a per-process basic.

It might then also be easier to delete the per-process context override, but then the question of where to put EventSetCSPFragments referenced by the rest of the CSP arises. Maybe this could just be put in a separate block?

MattWindsor91 commented 2 years ago

The fact that CSPGroups are now SpecGroups will eventually solve this, but there's the question of what to do with CSP that shouldn't be part of a module/tied to a target.

MattWindsor91 commented 2 years ago

Closing because CSP groups have been stripped back since this issue was filed.