A forum for Spin users
You are not logged in.
Pages: 1
can any body send the example program in C which have dead lock error and can be identify by using SPIN. thanks
i need a complete example of SPIN which have. program in C language, its Promela model. kindly tell me where can i get this.
thanks.
1). in installing of modex how to edit the makefile of it contained in Src folder. give any example. i m using cygwin in C: drive i.e c:\cygwin.
2).when i enter the command (make install) in installing of modex the following message appear.
bash:make command not found
then send any other complete example wich incldes (c code,promela model for spin).and compilation results.
can you provide me the c code for H.Hyman mutual exclusion solution whose pseudo Algo is written in your manual.
thanks sir,
1-i have download the precompiled executables from the link u have provided.i download it for windows and for linux i copy it into my directory and rename it as "spin" for both (windows and Linux).
2-In windows it is working well and i can make "pan.c" but when i want to make the "pan.exe" file from c compiler which u have provided. it gives many errors e.g "Stdio.h: No such file or directory" but it makes pan.exe file and when i run pan.exe to produce trail error:comes "program to big to fit into memory".
3-In linux when i give the command "spin -a my_prog.prom" the error: No command 'spin' found. but in linux i can compile pan.c file which i produce from windows.
kindly tell me the solution so i can ovoid this problem of switches between windows and linux.
thanks sir,
gunzip *.tar.gz
tar -xvf *.tar (these above command is working)
but the problem is still there when i go in directory Spin/Src6.0.1/ and give make command "error unable to find make file".
also tell me the link to download the precompiled linux executable.
i m unable to install spin in ubantu system. the error which i m facing is "*.tar.gz is directory" and unable to make a make file.
i m new in using spin. if any body help me for guiding about how check properties in spin.
Pages: 1