Downloading CTTool

Downloading CTTool

Alpha release

This version is provided as a zip file in two forms:

Regular archive, which contains all files needed to run CTTool.
Advanced archive, which contains files in the regular archive and the source files of the project.

Using the archive
Uncompress the archive in a local folder on your machine.

Both archives contain a jar file of the application ready to use.

You must specify the path for your CADP toolbox in the config.xml file if you want to use these tools within the CTTool user interface.

Note. If the CADP path is not specified you can still generate lotos code corresponding to your model.

Please refer to Turtle installation help for configuration issuses.

The launcher provides the connection to CADP tools. It plays a server role for CTTool. The launcher has to run on a machine which has access to CADP toolbox. To run the launcher, type at the console
> java -jar launcher.jar

To run CTTool, type at the console:
> java -jar CTTool.jar -lotos -proactive