search

UoY-RoboStar / robocert-textual

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

Add alt blocks #45

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 3 years ago

UML and PSC's equivalent of if-statements, containing a condition and two subsequences.

Effectively blocked by #12, as we won't be able to do any useful with these without them.

MattWindsor91 commented 3 years ago

Duplicate of #14 - oops!