search

UoY-RoboStar / robocert-textual

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

Neg is not checked #114

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

We are currently emitting Neg as the CSP - operator; we should be emitting the checked RoboChart Neg function.