| Summary: | Doubles are not handled correctly in guards | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Peter Gjøl Jensen <pgj> |
| Component: | Engine | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | enhancement | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.1.20 | ||
| Hardware: | PC | ||
| OS: | Linux | ||
| Architecture: | |||
| Attachments: | Probability of reaching E should be non-zero. | ||
The fix has been released in stratego-4.1.20-4 |
Created attachment 295 [details] Probability of reaching E should be non-zero. In the attached model, doubles are used to create the interval [2.1, 2.3]. Even though eventually satisfied, the engine reports that it is not. (Has been fixed in development branch stratego_2016_ndiscrete)