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

Bug 426

Summary:	Ignoring cost' annotations on synchronized processes
Product:	UPPAAL CORA	Reporter:	Christian Ellen <christian.ellen>
Component:	Verification Engine	Assignee:	Marius Mikučionis <marius>
Status:	ASSIGNED ---
Severity:	normal	CC:	marius
Priority:	P2
Version:	060910
Hardware:	PC
OS:	Windows XP
Architecture:
Attachments:	Not working example

Description Christian Ellen 2007-09-25 13:34:11 CEST

I divided my model into two synchronized processes:

-Process A has the timing constraints
-Process B has the cost' annotations on its locations

Both processes are synchronized via normal channel.

Problem / Bug:

If "A" stays in a location for a time periode, no costs of "B" are counted meanwhile.
It seems that the costs of B are completly ignored.

Comment 1 Christian Ellen 2007-09-25 13:36:58 CEST

Created attachment 178 [details]
Not working example

One example to reproduce this bug.

Comment 2 Marius Mikučionis 2019-10-21 10:14:43 CEST

Taking over