Command Line Options

UPPAAL can be executed from the command line using the following command on unix:

uppaal [OPTION] ... [FILENAME]

On windows, the following command can be used (for instance, using "Run" from the Start Menu):

java -jar \path\uppaal.jar [OPTION] ... [FILENAME]

where path is the complete path to the uppaal.jar file (it might also be necessary to specify the complete path to the java executable).

The optional filename refers to a model to be loaded at startup.

The available command line options are:

--antialias on|off

(default on) turns antialiasing on or off in the automata rendering.

--engineName <filename>

The name of verification server (default is server on Unix and server.exe on Windows) to be used by the GUI.

--enginePath <path>

The path to the verification server (e.g. bin-Win32) to be used by the GUI.

--help

Displays a summary of options.

--serverHost <name>

Host name of remote machine running verification server.

--serverPort <no>

Port number used by verification server on remote machine.

--splashScreen on|off

Disables or enables the splash screen.

--exportToEPS templateName

Export the named template to EPS.

--psColors on|off

Selects whether to export automata in color or greyscale EPS.