|Summary:||Priorities on channels do not work|
|Product:||UPPAAL||Reporter:||John Håkansson <johnh>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
|Version:||3.6 Beta 1|
|Attachments:||A model where priorities breaks (after two transitions in simulator)|
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.