Implement conjunction and disjunction expressions

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert

Eclipse Public License 2.0

2 stars 0 forks source link

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

These are going to be necessary to express some properties succinctly.

MattWindsor91 commented 2 years ago

Implemented in 8fd3f8decda55ce0e52c7b9d0d037b696a248a70.