Spinroot

A forum for Spin users

You are not logged in.

#1 2012-12-11 17:57:12

medmuf
Member
Registered: 2012-12-11
Posts: 6

How to generate full-page msc.ps?

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

#2 2012-12-11 22:00:40

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: How to generate full-page msc.ps?

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

#3 2012-12-13 11:28:26

medmuf
Member
Registered: 2012-12-11
Posts: 6

Re: How to generate full-page msc.ps?

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

#4 2012-12-13 17:45:43

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: How to generate full-page msc.ps?

I'm not sure I understand how that could happen.
But if you can create a very small example that illustrates this, I'll check it out.

Offline

#5 2012-12-13 19:38:21

medmuf
Member
Registered: 2012-12-11
Posts: 6

Re: How to generate full-page msc.ps?

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

#6 2012-12-14 01:13:13

spinroot
forum
Registered: 2010-11-18
Posts: 695
Website

Re: How to generate full-page msc.ps?

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

#7 2012-12-14 09:31:22

medmuf
Member
Registered: 2012-12-11
Posts: 6

Re: How to generate full-page msc.ps?

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

Board footer

Powered by FluxBB