Summary: | Cannot export query file in uppaal 4.1.19 | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | mirkomsn93 |
Component: | GUI | Assignee: | Marius Mikučionis <marius> |
Status: | RESOLVED FIXED | ||
Severity: | minor | CC: | adavid, marius |
Priority: | P5 | ||
Version: | 4.1.19 | ||
Hardware: | PC | ||
OS: | Linux | ||
Architecture: | |||
Attachments: | The exception message as I try to export a query in a separate file. |
Fixed since 4.1.20 |
Created attachment 288 [details] The exception message as I try to export a query in a separate file. When I try to export a query file in uppaal 4.1.19 I receive the exception java.lang.NoSuchMethodError: com.uppaal.gui.Main.getVersion()Ljava/lang/String; I think that this is due to the fact that when a query file is created, the tool tries to write the version on the first line (as in the stable release), but it cannot find the right function. In order to help identifying the bug I also append the exception message.