Spinroot

ymcl7763

Member

Registered: 2011-04-07

Posts: 1

verification

Hello
I installed spin version 6.0.1 on my laptop and I can run simulation just fine. However, when I try to run verification, in the right hand window it displayed
"spin -a  cw_1stAtm_ver1.3
gcc -DMEMLIM=1024 -O2 -DXUSAFE -DSAFETY -DNOCLAIM -w -o pan pan.c "
Then nothing else happened.
it just won't do anything at all. Is there anything I missed out?

Thanks

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: verification

that is odd -- can you try giving those same commands from the shell prompt?
you can than follow it with an extra command
./pan
to run the verification
but if one of the earlier two commands fails, you'll at least see what is happening

milon_mi7

Member

Registered: 2011-06-10

Posts: 13

Re: verification

hey ymcl7763, can tell me how u install spin 6.0.1?

albertwesker

Member

Registered: 2011-11-08

Posts: 1

Re: verification

Yes dude ymcl7763 is this a new version i am currently running 6.0 version and want to updrade it to 6.0.1 .plz tell us what is the installation procedure...this is the only platform where i can have and i find it no where else......thanks

spinroot

forum

Registered: 2010-11-18

Posts: 702

Website

Re: verification

there are instructions on the website for download and installation -- see http://spinroot.com/