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

Bug 636 - Remove: #tau is not the last variable!
Summary: Remove: #tau is not the last variable!
Status: RESOLVED FIXED
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: 2019-10-02 15:01 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
Add an attachment (proposed patch, testcase, etc.)

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".
Comment 1 Marius Mikučionis 2019-10-02 15:01:10 CEST 
Fixed in 4.1.23