| Summary: | simulations stop at the bound without considering changes of the last urgent transitions | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
| Component: | Engine | Assignee: | Marius Mikučionis <marius> |
| Status: | ASSIGNED --- | ||
| Severity: | normal | CC: | adavid |
| Priority: | P5 | ||
| Version: | 4.1.20 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | minimal demo model | ||
Created attachment 330 [details] minimal demo model SMC queries (simulate, Pr, E[..]) stop at the exact bound and do not consider the remaining transitions which can be fired urgently. Consequently the data from the last transitions is lost.