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

Bug 426 - Ignoring cost' annotations on synchronized processes
Summary: Ignoring cost' annotations on synchronized processes
Status: ASSIGNED
Alias: None
Product: UPPAAL CORA
Classification: Unclassified
Component: Verification Engine (show other bugs)
Version: 060910
Hardware: PC Windows XP
: P2 normal
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2007-09-25 13:34 CEST by Christian Ellen
Modified: 2019-10-21 10:14 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Not working example (1.92 KB, text/xml)
2007-09-25 13:36 CEST, Christian Ellen 		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 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