Summary: | Remove: #tau is not the last variable! | ||
---|---|---|---|
Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
Component: | Engine | Assignee: | 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 |
Fixed in 4.1.23 |
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".