Attachment 306 Details for Bug 627 – A system containing two templates that demonstrates the problem. In both templates the location L2 is reachable where it should not be due to an invariant on location L1.

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

A system containing two templates that demonstrates the problem. In both templates the location L2 is reachable where it should not be due to an invariant on location L1.

lower_bound_clock_invariant_is_ignored.xml (text/xml), 2.37 KB, created by Niklas Kirk Mouritzsen on 2016-11-11 15:33:10 CET

(hide)

Description:

Filename:

MIME Type:

Creator: Niklas Kirk Mouritzsen

Created: 2016-11-11 15:33:10 CET

Size: 2.37 KB

patch

obsolete

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 627: 306