search

UoY-RoboStar / robocert-textual

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

Constants being instantiated twice in timed CSP #141

Open hollyrebecca opened 1 year ago

hollyrebecca commented 1 year ago

CSP auto-generation is duplicating constants in the instantiations file, resulting in FDR compilation breaking.

Work around is to manually modify the instantiations.csp file in order to resolve the issue.