Bug 605

Summary: File extension missing
Product: UPPAAL Reporter: Rasmus Holm Jensen <rhje12>
Component: GUIAssignee: Peter Gjøl Jensen <pgj>
Status: ASSIGNED ---    
Severity: normal CC: adavid
Priority: P5    
Version: 4.1.20   
Hardware: Macintosh   
OS: Mac OS   

Description Rasmus Holm Jensen 2016-03-08 11:29:25 CET
When ever i try to save my project, it opens a saving dialog defaulted to the name /usr/UserName/SomePath/<undefined>. If i use this file name it throws an error saying that i used an invalide file extension. If I rename the file from default path and name I get the same error, unless i explicitly enter XML as file extension like: /some/path/here/filename.xml

Other students using other operating systems do not seem to have this problem.

I have a 64bit version 4.1.20-beta3(1) version of UPPAAL installed on OSX 10.11.3.
Comment 1 Marius Mikučionis 2016-03-08 11:53:46 CET
Peter, could you take a look?