Bug 305 - Priorities on channels do not work
Summary: Priorities on channels do not work
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.6 Beta 1
Hardware: PC Windows XP
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-03-27 16:18 CEST by John Håkansson
Modified: 2006-03-27 16:21 CEST (History)
0 users

See Also:
Architecture:


Attachments
A model where priorities breaks (after two transitions in simulator) (2.02 KB, application/xml)
2006-03-27 16:21 CEST, John Håkansson
Details

Note You need to log in before you can comment on or make changes to this bug.
Description John Håkansson 2006-03-27 16:18:51 CEST
Priorities on channels break when non-channels are declared before channels.
Variable table index was used as channel identifiers, so it appears to work when nothing is declared before channels.

From revision 1696 the variable is looked up in the table, and evaluated for channel number.
Comment 1 John Håkansson 2006-03-27 16:21:36 CEST
Created attachment 94 [details]
A model where priorities breaks (after two transitions in simulator)