I am currently learning Promela/Spin. The problem I have is that I can't verify my programs.
I create my pan files with: spin_64bits.exe -a x.pr --- all's fine until here.
Now when I try to compile pan.c via gcc pan.c (gcc -o pan pan.c, whatever) I get an error that there are undefined references to srandom and random.
Note: It does work when I exchange those with srand() and rand() respectively, but to be honest, I don't want to open pan.c and edit it everytime I want to run a verification.
Do I have to use another compiler perhaps? I'm using MinGW.