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

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
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 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)