Bug 636 - Remove: #tau is not the last variable!
Summary: Remove: #tau is not the last variable!
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.19
Hardware: PC All
: P4 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2017-05-04 08:26 CEST by Marius Mikučionis
Modified: 2017-09-14 13:05 CEST (History)
1 user (show)

See Also:
Architecture:


Attachments
simple model demonstrating the issue (935 bytes, text/xml)
2017-05-04 08:26 CEST, Marius Mikučionis
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2017-05-04 08:26:07 CEST
Created attachment 313 [details]
simple model demonstrating the issue

Egine throws an error when verifying a property referring to a boolean function when checked with "Fastest trace".