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

Bug 636

Summary: Remove: #tau is not the last variable!
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: Marius Mikučionis <marius>
Status: RESOLVED FIXED    
Severity: normal CC: adavid
Priority: P4    
Version: 4.1.19   
Hardware: PC   
OS: All   
Architecture:
Attachments: simple model demonstrating the issue

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