I have recently downloaded SPIN software on Windows 10. I tried to run a simple hello.pml program from examples. But I am getting below error. My gcc compiler is working fine an
