The command-line version of ProB offers many of the feature of the standalone Tcl/Tk Version, but via the command-line. As such, you can run ProB from your shell scripts or in your Makefiles.
Command-line Arguments for ProB Tcl/Tk
Note that the stand-alone Tcl/Tk version also supports a limited form of command-line preferences:
- FILE (the name/path of the file to be loaded)
- -prefs PREF_FILE (to use a specific preferences file, rather than the default ProB_Preferences.pl in your home folder)
- -batch (to instruct ProB not to try to bring up windows, but to print information only to the terminal)
- -selfcheck (to run the standard unit tests)
- -t (to perform the Trace Check on the default trace file associated with the specification)
- -tcl TCL_Command (to run a particular pre-defined Tcl command)
- -mc (to perform model checking)
- -c (to compute the coverage)
- -ref (to perform the default trace refinment check)
However, the comand-line version of ProB, called probcli, provides more features. It also does not depend on Tcl/Tk, and can as such also be run on systems without Tcl/Tk.
probcli Basics