UoY-RoboStar / robocert-textual

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

Floating point expressions are not handled in CSP-M #117

Open MattWindsor91 opened 2 years ago

MattWindsor91 commented 2 years ago

This is the same issue as https://github.com/UoY-RoboStar/robochart-csp-gen/issues/10 (and so, the solution will either be porting or adopting the solution from that issue). For now, I'll put a temporary WFC in to stop code generation.