A forum for Spin users
You are not logged in.
Pages: 1
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
yeap...that was the problem.
thanks!
Offline
Pages: 1