search

UoY-RoboStar / robocert-textual

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

Implement ElseGuard #78

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

I thought I might be able to get away with not implementing these yet, but the very first Segway property I've tried to look into needs either ElseGuards or the implementation of negations and conjunctions! So, it's likely easier to implement them here.

MattWindsor91 commented 2 years ago

Implemented in 46531f41f02532e615765cb8e9a9facb89e652ff.