Spinroot

A forum for Spin users

You are not logged in.

#1 2012-04-24 13:16:54

panostan
Member
Registered: 2012-04-24
Posts: 2

Verification-problem

Hi,

I am using ispin 6.1 on windows and i have a problem when i run verification. the problem is that when i press run, the only thing that is displayed at the verification result is :

spin -a  courseWorknew.pml
gcc -DMEMLIM=1024 -O2 -DXUSAFE -DSAFETY -DNOCLAIM -w -o pan pan.c

Nothing else.
can anyone help?
thank you in advance.

Offline

#2 2012-04-24 23:26:06

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

Re: Verification-problem

do you have the gcc compiler installed on your system?
(you can try by typing those same two commands you showed on the command like of a cygwin shell)

Offline

#3 2012-04-25 19:25:56

panostan
Member
Registered: 2012-04-24
Posts: 2

Re: Verification-problem

yeap...that was the problem.

thanks!

Offline

Board footer

Powered by FluxBB