What steps will reproduce the problem?
1. copy a promela file like the attached one to an path containing white
spaces e.g. "C:\Users\andi\Documents\Dokumente\Uni\Koblenz\SS2009\Formale
Spezifikation und Verifikation\09-08-05 - Blockkurs
1\examples\lect05\start\interleave01.pml"
2. try to create a visualization with jSpin 4.6 and SpinSpider
3. Nothing is displayed
What is the expected output? What do you see instead?
Expected output is the graph visualization as png immage
What version of the product are you using? On what operating system?
jspin 4.6 on Windows Vista Business x64, SP 2
Please provide any additional information below.
Tests have shown, that the dot file is correctly created, but the png file
is not created at all. Manual tests have shown, that dot.exe is not able to
handle white spaces in path names. Launching dot.exe with the created
dot-file and adding " " around the path creates the png file correctly. So
the path-variable in SpinSpider should be embraced by ".."
Original issue reported on code.google.com by
andif...@gmail.comon 5 Aug 2009 at 10:38Attachments: