Spinroot

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