No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
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. | ||
<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]] | ||
</p> | </p> | ||
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.