Wrong results when there are spaces in directory names

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open a pml file from a directory with a space in its name
2. Check the file
3. Write a false LTL property, translate the property and try to verify it

What is the expected output? What do you see instead?

Expected output is that there is an error. Instead, I see that the property is 
true (0 errors).

What version of the product are you using? On what operating system?

Version 6.3.2. Mac OS.

Please provide any additional information below.

Original issue reported on code.google.com by sm...@itee.uq.edu.au on 4 Sep 2014 at 12:51

[GoogleCodeExporter]

The version of jSpin is 5.0 (the 6.3.2 above is the version of Spin).

Original comment by sm...@itee.uq.edu.au on 4 Sep 2014 at 12:54

[GoogleCodeExporter]

I am not surprised that weird directory names cause a problem ...
please don't use them.

I don't plan any further development of jSpin in the near future
unless a serious bug is uncovered.

Of course you are welcome to download the source code and try to fix 
this issue yourself.

Thank you for bringing this to my attention.
Moti

Original comment by moti.ben.ari@gmail.com on 5 Sep 2014 at 5:53

• Added labels: Priority-Low
• Removed labels: Priority-Medium