Hello everyone,
I am using cygwin64 terminal on Windows 10 to run SPIN model checker (http://spinroot.com/spin/whatispin.html)
The following two commands work fine:
spin -a peterson.pml (generates all the components for the verifier, e.g. pan.c) gcc pan.c -o pan (compiles pan)
BUT
./pan (runs it) reports the following error: "spin: error, the version of spin that generated this pan.c assumed a different wordsize (4 iso 8)" (Please see attached snapshot)
The same error is generated by using pan.exe on CMD.
Sadly (and strangely) the SPIN forum is not accepting new registrations, so I couldn't post my problem there. I hope someone can help.
Thanks.
Hello Muhammad
You might have to run the 32 bit libraries of Cygwin
Important note: Cygwin comes with two versions of the setup program. They are called setup-x86.exe and setup-x86_64.exe. Download the setup-x86.exe one, because the other one is for 64-bit Cygwin, and NCL hasn't been compiled under this configuration yet.
We recommend that you look through the "Installing Cygwin/X" in the Cygwin/X User's Guide, as it has some nice diagrams showing you each step of the installation process.
When you start the installation process (by downloading "setup.exe" and double-clicking on the file wherever you downloaded it), you will be asked where to install Cygwin. I highly recommend that you select the default options, unless you know what you are doing.
You will eventually be asked to select a mirror site from which to download the software. I have found that some mirrors work better than others, and you may have to try several before you get a successful installation. I recommend starting with a mirror that is close to your geographic location, so the download is hopefully quicker.
Once you select a mirror site, you will be prompted for which packages to install. The packages have categories like "Shells", "Devel", "Graphics", etc. Clicking on the plus (+) sign next to each category name will expand or close the list of packages associated with that category. There's a search box at the top that is very useful to find packages that you are not sure what category they're in.
Note that when you select one package, it may cause several other packages to be chosen as well. This is okay; don't go back and unselect those packages!
Some categories and their related packages that you should install are included below:
This problem is probably due to using incompatible versions of the cygwin DLL. Search for cygwin1.dll using the Windows Start->Find/Search facility
and delete all but the most recent version. The most recent version *should* reside in x:\cygwin\bin, where 'x' is the drive on which you have installed the cygwin distribution. Rebooting is also suggested if you are unable to find another cygwin DLL.
source: https://gcc.gnu.org/bugzilla/show_bug.cgi?format=multiple&id=71770
- Badges
- Science topic
- Similar topics
- Biological Science
- Kinesiology
- Running