A forum for Spin users
You are not logged in.
Pages: 1
Hi all,
I don't think this can possibly be a spin error, but I am having problems.
I'm trying to start right at the beginning with spin, on an unfamilar ubuntu machine (I've negligable experience with linux), so it's not ideal.
I've installed, unzipped & made the 6.0.1 sources and am going through the test/README_tests.txt. I've had to slightly modify the instructions therein, hence instead of
spin -a loops.pml
I've had to use
./spin -a '/home/jan/Desktop/spin/Spin/Test/loops.pml'
This shouldn't make a difference, just mentioning.
Ok until test 4: "guided simulation check (playback the error trail found in test 3)", I enter:
./spin -p -t loops.pml.trail
(added .trail otherwise it complains about no such file/dir). Result is:
spin: loops.pml.trail:1, Error: syntax error saw ''-' = 45'
spin: cannot find trail file
Can't get round this. Can't find a spec for the format for the trail file so I don't know if it's correct or not. It does start with some negative numbers, tried removing the negatives to see what happens, just get a different error (at least this proves it's finding & reading the trail file despite what it says). Spent an hour browsing the sources, esp. lex/yacc but nothing jumps out.
Downloaded the 4.3.0 source, compiled & found same behaviour (so, definitely me being dim here).
Machine is ubuntu 10.04, 64-bit I think. FYI full trail file generated from test 3 is:
++++++++++++++++++++
-4:-4:-4
-1:-1:-1
1:0:0
2:0:1
3:0:2
4:0:7
5:0:0
6:0:1
7:0:2
8:0:7
9:0:0
10:0:3
11:0:4
12:0:7
+++++++++++++++++++++
So, what am I doing wrong?
jan
Offline
hi,
you should give the name of the spin model file on the replay command line, not the name of the trail-file.
so, use the same command you used to generate the pan.c source, but use the -p -t flags instead of -a.
but, you should really place spin itself in /usr/local/bin/spin or in your home bin ~/bin
that would simplify a lot of things (or setup ispin to point to where the spin executable is and then use that tool)
really important to get spin in your search path -- so ask a sys admin if you need help doing this
Offline
Hi, and thank you for the help.
The problem is obvious now and is caused by the explicit path stuff I did. If I specify
./spin -a '/home/jan/Desktop/spin/Spin/Test/loops.pml'
Then the trail file is created where the spin executable lives, not where loops.pml lives. Spin needs both files (in retrospect: well duh) and in the same place. Move the trail file to where the .pml file lives and it's chirpy.
Thanks also for the pointer on the search path business, I'll look into it.
jan
Offline
I am happy to point out that I have been using ispin over the last two years and that I am very happy with its performance. It has got a variety of features. The most important advantage is that it gives you the feeling of multi-tasking environment. It also offers DIA support.
Offline
I wanted to thank you for this great read!! I definitely enjoyed every little bit of it. I have you bookmarked this forum to check out the latest stuff you post.
Offline
Pages: 1