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

Model, property and trace with bug, produced with cover and libutap tracer
libutap_bug.zip (application/zip), 6.21 KB, created by DejaniraAI on 2015-03-30 11:43:29 CEST
(hide)
 
Creator: DejaniraAI
Created: 2015-03-30 11:43:29 CEST
Size: 6.21 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 591: 276