| Summary: | Combination of urgent channels + double guards gives zeno-behaviour-error | ||
|---|---|---|---|
| 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 | ||
The fix has been released in stratego-4.1.20-4 |
Created attachment 294 [details] Model provocating the error When using urgent-channel on edge with double-guard, the engine (erroneously) produces a zeno-behaviour error. See attached model. (Has been fixed in development branch stratego_2016_ndiscrete)