A forum for Spin users
You are not logged in.
Pages: 1
Hello! I am attempting to use Spin for the first time as part of one of my classes. I am trying to follow along with the “GettingStarted.html” file, but I run into the following problem.
After attempting #3 of the GettingStarted.html, my log is as follows:
Spin Version 6.0.1 -- 16 December 2010
iSpin Version 1.0.4 -- 11 February 2011
TclTk Version 8.5/8.5
1 D:/Spin/leader.pml:1
2 syntax check
spin: leader.pml:28, Error: cannot create temporary file
child process exited abnormally
I have attempted this on both a Windows 7 and Windws XP SP3 machine with the same result. I know spinroot said this would be fixed in the next release, [url]http://spinroot.com/fluxbb/viewtopic.php?pid=150[/url] post #10, but I was wondering what the work around is for now for running this on a Windows machine.
Thank you,
Matt
Offline
Thank you very much! I really appreciate it!
Matt
Offline
Pages: 1