What steps will reproduce the problem?
1. Open a jspin example
2. Do Verify
3.
What is the expected output? What do you see instead?
I don't really know what to expect. Here's whar I see:
"bin\spin.exe -a fourth.pml ... done!
c:\mingw\bin\gcc.exe -DSAFETY -o pan pan.c ... done!
C:\jspin\jspin-examples\pan -m2000 -X ... IO exception
java.io.IOException: Cannot run program "C:\jspin\jspin-examples\pan" (in
directory "C:\jspin\jspin-examples"): CreateProcess error=2, The system cannot
find the file specifieddone!"
What version of the product are you using? On what operating system?
5.0 on Windows 8
Please provide any additional information below.
Original issue reported on code.google.com by
luispedr...@gmail.comon 14 Oct 2013 at 12:29