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

zip of 3 different xml files: bug, fix (more like a work-around) and problem.
bug-attachment.zip (application/zip), 2.45 KB, created by Pepijn on 2013-04-19 11:48:16 CEST
(hide)
 
Creator: Pepijn
Created: 2013-04-19 11:48:16 CEST
Size: 2.45 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 550: 259