| Summary: | Estimation query misses some peak values | ||
|---|---|---|---|
| Product: | UPPAAL | Reporter: | Marius Mikučionis <marius> |
| Component: | Engine | Assignee: | Alexandre David <adavid> |
| Status: | RESOLVED FIXED | ||
| Severity: | blocker | ||
| Priority: | P5 | ||
| Version: | 4.1.15 | ||
| Hardware: | All | ||
| OS: | All | ||
| Architecture: | |||
| Attachments: | the model exhibiting the bug | ||
Created attachment 260 [details]
the model exhibiting the bug
attachment failed, retrying
Fixed in 4.1.20 |
simulation query records valules greater than zero, but estimation query fails to record them. the queries are: simulate 1 [<=400] {Task0.r} E[<=800; 500] (max: Task0.r) the model is attached.