Spinroot

A forum for Spin users

You are not logged in.

#1 2014-12-12 15:17:22

mlfv
Member
Registered: 2013-04-29
Posts: 28

pan error concerning wordsize

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

#2 2014-12-13 04:33:56

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

Re: pan error concerning wordsize

are you on a 32-bit or a 64-bit system?
(the compiler and platform used to compile spin itself and to compile the pan.c files has to match)

Offline

#3 2014-12-13 15:02:50

mlfv
Member
Registered: 2013-04-29
Posts: 28

Re: pan error concerning wordsize

I am using Windows 7 64-bits and spin 64 bits.

Offline

Board footer

Powered by FluxBB