Tests for arithmetic generation broken by missing types

UoY-RoboStar / robocert-textual

Textual plugin and CSP generator for RoboCert

Eclipse Public License 2.0

2 stars 0 forks source link

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

The usual RoboChart type tower isn't available without being put in the resource set; not sure how to fix this.