A forum for Spin users
You are not logged in.
Pages: 1
Hi,
I reinstalled spin and cygwin (cygwin64) but when I try to verify any model I get the next error
verification result:
spin -a a1.pml
gcc -DMEMLIM=1024 -O2 -DXUSAFE -DSAFETY -DNOCLAIM -w -o pan pan.c
./pan -m10000
Pid: 2080
spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)
Any idea about how to fix this error? Thanks in advance for any help.
Offline
I am using Windows 7 64-bits and spin 64 bits.
Offline
Pages: 1