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

The exception message as I try to export a query in a separate file.
NoSuchMethod_ExceptionMessage.txt (text/plain), 2.80 KB, created by mirkomsn93 on 2016-09-12 15:24:55 CEST
(hide)
 
Creator: mirkomsn93
Created: 2016-09-12 15:24:55 CEST
Size: 2.80 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 609: 288