| Summary: | Combination of inline-if + doubles makes engine crash | ||
|---|---|---|---|
| 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 describing various scenarios where the bug occurs. | ||
Works fine in 4.1.19, but broken in stratego (4.1.20) |
Created attachment 292 [details] Model describing various scenarios where the bug occurs. If a function is specified as double abs(double x) { return (x < 0.0 ? -x : x); } the results are unpredictable, sometimes leading to engine-crash.