This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 605 - File extension missing
Summary: File extension missing
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.1.20
Hardware: Macintosh Mac OS
: P5 normal
Assignee: Peter Gjøl Jensen
Depends on:
Reported: 2016-03-08 11:29 CET by Rasmus Holm Jensen
Modified: 2016-03-16 17:41 CET (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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?