Blame view
prism-4.3-linux64/examples/self-stabilisation/beauquier/auto
328 Bytes
8146dcf82
first commit
|
1 2 3 4 5 6 7 |
#!/bin/csh prism beauquier3.nm beauquier.pctl -prop 1 -const k=0,K=0 prism beauquier3.nm beauquier.pctl -prop 2 -const k=0,K=0 -m prism beauquier3.nm beauquier.pctl -prop 3 -const k=1:2:3,K=0 -m prism beauquier3.nm beauquier.pctl -prop 4 -const k=1:2:3,K=0 -m prism beauquier3.nm beauquier.pctl -prop 5 -const k=3,K=1:1:100 -m |