This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 657

Summary: simulations stop at the bound without considering changes of the last urgent transitions
Product: UPPAAL Reporter: Marius Mikučionis <marius>
Component: EngineAssignee: 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

Description Marius Mikučionis 2018-06-27 10:44:26 CEST
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.