search

UoY-RoboStar / robocert-textual

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

Implement return action #98

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

See #97 - this is the dual of the call topic.

MattWindsor91 commented 2 years ago

Punting to version 2 because, in discussion with Ana, there are semantics issues with regards to having operations expressed as lifelines.