ProB Cli: Difference between revisions

No edit summary
No edit summary
Line 1: Line 1:
[[Category:Components]]
[[Category:Components]]
[[Category:ProB Cli]]


The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.
The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.

Revision as of 14:42, 30 October 2014


The ProB Cli offers many of the ProB features via command-line. As such, you can run ProB from your shell scripts or in your Makefiles.

User Manual

Developer Manual