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. |
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.