What steps will reproduce the problem?
1. install the tool
2. open an example file (e.g., sem-ch.pml)
3. press "verify"
What is the expected output? What do you see instead?
The tool responses the following alert:
"bin\spin.exe -a sem-ch.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: CreateProcess: C:\jspin\jspin-examples\pan -m2000 -X
error=2done!"
What version of the product are you using? On what operating system?
jSpin 5.0， under Windows XP
Please provide any additional information below.
Sorry, I just start using this tool. Perhaps my experience is not sufficient.
Original issue reported on code.google.com by
wkmiao1...@gmail.comon 5 Aug 2013 at 7:48