| Summary: | Error in handling double-comparison in guards | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Peter Gjøl Jensen <pgj> |
| Component: | Engine | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | normal | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.1.20 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
| Attachments: | Model provocating the error | ||
This only occurs when using != operator. |
Created attachment 290 [details] Model provocating the error When comparing two doubles in a guard, uppaal throws "Expression does not evaluate to a reference" (Has been fixed in development branch stratego_2016_ndiscrete)