Bug 445 - In the simulator the infimum_cost is changing strangly according to the rate
Summary: In the simulator the infimum_cost is changing strangly according to the rate
Status: ASSIGNED
Alias: None
Product: UPPAAL CORA
Classification: Unclassified
Component: Verification Engine (show other bugs)
Version: 060910
Hardware: PC Windows XP
: P2 major
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2008-06-12 22:54 CEST by Aneta Vulgarakis
Modified: 2019-11-04 13:52 CET (History)
1 user (show)

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Aneta Vulgarakis 2008-06-12 22:54:43 CEST
For some strange reasons the rate has an impact on the cost when one uses a simulator. So even if one doesn't use any of the defined variables on any transition the rate will change in the simulator and accordingly to it the cost as well. The verifier seems to work good. I even have a test example developed in Uppaal Cora where i can demonstrate this problem. If you need some information don't hesitate to contact me.
Comment 1 Marius Mikučionis 2019-10-21 10:18:01 CEST
Taking over