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

Bug 553 - Estimation query misses some peak values
Summary: Estimation query misses some peak values
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.1.15
Hardware: All All
: P5 blocker
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2013-05-03 18:44 CEST by Marius Mikučionis
Modified: 2019-03-23 12:28 CET (History)
0 users

See Also:
Architecture:

Attachments
the model exhibiting the bug (6.16 KB, text/xml)
2013-05-03 18:45 CEST, Marius Mikučionis 		Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2013-05-03 18:44:49 CEST 
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.
Comment 1 Marius Mikučionis 2013-05-03 18:45:50 CEST 
Created attachment 260 [details]
the model exhibiting the bug

attachment failed, retrying
Comment 2 Marius Mikučionis 2019-03-23 12:28:24 CET 
Fixed in 4.1.20