No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
Usage | Usage | ||
./parB <Nr. of workers> <logfile> <file> | ./parB <Nr. of workers> <logfile> <file> | ||
Example usage: | |||
$ ./parB.sh 2 ~/parB.log scheduler.mch | |||
This page explains how to run the distributed model checking Prototype.
The ProB distribution (see Download) comes with a script called parB.sh. Usage
./parB <Nr. of workers> <logfile> <file>
Example usage:
$ ./parB.sh 2 ~/parB.log scheduler.mch