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

Bug 560

Summary:	Infimum_Cost rising to "-1073741823"
Product:	UPPAAL CORA	Reporter:	Waheed Ahmad <w.ahmad>
Component:	Verification Engine	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	major	CC:	marius
Priority:	P5
Version:	060910
Hardware:	PC
OS:	Other
Architecture:

Description Waheed Ahmad 2013-09-27 11:43:05 CEST

Hi,
In the attached model, there are two instances of Processors "Processor0" and "Processor1" and one instance of Task_Graph. Task Graph can synchronise with both instances of Processors using channels "fire" and "end". 

Lets say we synchronise Task_graph manually with BOTH processors "Processor0" and "Processor1" in the beginning using "fire[e][a]" and then with "end[p0][a]" and "end[p1][a]". Now, if we continue in the same fashion of synchronising ALL "fire" channels first and then "end" channels manually, then infimum _cost shoots to "-1073741823". Could you please look into it as soon as possible?

I am using Windows7.

Many thanks in advance.

Regards,
Waheed Ahmad

Comment 1 Marius Mikučionis 2019-10-21 10:19:18 CEST

Taking over