This repository contains the parts of the RoboCert prototype that are not the metamodel. This includes, as the name suggests, the textual editor; temporarily, it also contains the unit tests and CSP generator.
This is pre-release material. We greatly appreciate any suggestions, comments, and issues.
Please inform us of any build failures.
$ mvn clean install
Known issues:
circus.robocalc.robochart.generator.csp
and SWTError
,
you may need to check the target environment triples Tycho is configured with;
we depend on the RoboChart CSP generator, which depends on the Eclipse UI,
which depends on SWT, and therefore needs to be told in advance if it's being
built for an exotic platform (ie, not x86 Windows/Linux/macOS or Apple Silicon
macOS).robostar.robocert.textual/src/robostar.robocert.textual/GenerateRoboCert.mwe2
robostar.robocert.textual.parent
Whenever updating the tool, follow these steps:
When the tool manual is created, there will be a further step to change that, too.
If changes to documentations are not possible immediately, create issues indicating exactly what needs to be done.