UoY-RoboStar / robocert-textual

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

Assertion groups #68

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 3 years ago

Assertions are the one part of robocert-sequences that aren't in groups. Initially I thought it didn't make much sense to group them, but I'm now seeing that quite often I have logical groups of related assertions. Furthermore, it'd be nice to be able to enable and disable entire groups of assertions in the textual language.