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

screen output showing bug
uppaal.bug422 (text/plain), 2.35 KB, created by Pedro Ferreira do Souto on 2007-06-12 11:10:43 CEST
Creator: Pedro Ferreira do Souto
Created: 2007-06-12 11:10:43 CEST
Size: 2.35 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 422: 157