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

Model using pointvars and statevars
2_controllers_bug_onfolding.xml (text/xml), 14.89 KB, created by Martin Kristjansen on 2020-04-27 11:49:03 CEST
(hide)
 
Creator: Martin Kristjansen
Created: 2020-04-27 11:49:03 CEST
Size: 14.89 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 677: 343