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.auon 4 Sep 2014 at 12:51