UoY-RoboStar / robocert-textual

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

Tighten events-need-connection WFC to trigger for module<->platform events #119

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

Earlier on, I made it so the 'events need connections' WFC, SMTp2, needn't apply for outbound connections (one end is a World). However, given #118, I think it makes sense to re-strengthen this WFC to apply between a TargetActor and a World when the underlying target is a ModuleTarget, because in those situations the connections are visible and should exist.