No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
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. | ||
== Documentation == | |||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | <i class="fa fa-user"></i> [[Using the Command-Line Version of ProB | User Manual]] | ||
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.