UoY-RoboStar / robocert-textual

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

Target not supported for context finding: state machine #110

Closed MattWindsor91 closed 2 years ago

MattWindsor91 commented 2 years ago

I haven't implemented this yet, but this is blocking STM properties.

There'll be similar issues for controllers and operations, but I'll file bugs for them in due course.

MattWindsor91 commented 2 years ago

This seems to be done now (though the last few bits of code I worked on are somewhat hurried, so it might need further work).