source:
vis_dev/vis-2.1/examples/ctlp3/README
@
12
Last change on this file since 12 was 11, checked in by , 13 years ago | |
---|---|
File size: 323 bytes |
Line | |
---|---|
1 | There are two versions of the 3 philosopher here. The one |
2 | ctlp3 is the same as in hsis (except for conversion to |
3 | deterministic tables) |
4 | |
5 | The second is a modification which used symbolic variables. |
6 | |
7 | Both can be run with the script |
8 | rlmv ctlp3x.v |
9 | init |
10 | mc ctlp3x.ctl // this fails |
11 | rf ctlp3x.fair |
12 | mc ctlp3x.ctl // this passes |
Note: See TracBrowser
for help on using the repository browser.