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

Bug 445

Summary: In the simulator the infimum_cost is changing strangly according to the rate
Product: UPPAAL CORA Reporter: Aneta Vulgarakis <aneta.vulgarakis>
Component: Verification EngineAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: major CC: marius
Priority: P2    
Version: 060910   
Hardware: PC   
OS: Windows XP   
Architecture:

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