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

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