A forum for Spin users
You are not logged in.
Pages: 1
The right pane paralleling the code under Simulate/Replay tab shows the channel messages flow, but I would like to checked it outside iSpin, as the chart is much bigger than the pane. Also, this pane can only be scrolled by the bars (instead the code pane we can use touchpad). I tried to resize the pane by the square box, but it is not yet ideal. The "Save" button at the right-top corner only saves the part shown.
Offline
will look into it
you can of course always use:
spin -M model.pml
to generate a complete msc-flow in postscript form
it would be wise then to limit the nr of steps plotted, to avoid going on forever in a simulation
for instance
spin -u1000 -M model.pml
(or by following a trail file with -t)
Offline
Thanks root. I was replaying .trail. I used
spin -M -t foo.pml
It was in two pages, but some part (considerably a lot) is missing between page 1 and page 2.
Last edited by medmuf (2012-12-13 11:29:00)
Offline
mtype {P,G,V};
chan ch = [0] of {mtype};
active proctype foo(){
a:
ch?P;
ch!G;
ch?V;
goto a
}
active proctype bar(){
b:
ch!P;
ch?G;
ch!V;
goto b
}
Try spin -u25 -M foo.pml
Offline
if I do "spin -u25 -c foo.pml" I see about 25 steps executed.
If I do "spin -u25 -M foo.pml" I see the same 25 steps in MSC form,
the first 18 or so are on page one, the rest on page 2.
So as far as I can see, it all works correctly.
Offline
It turns out to be a problem with evince on my machine, it doesn't show the full page. I used gv to view the file in its full feature with the options of unselecting "state > respect document structure". Thanks again.
Offline
Pages: 1