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

Bug 305

Summary: Priorities on channels do not work
Product: UPPAAL Reporter: John Håkansson <johnh>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: normal    
Priority: P2    
Version: 3.6 Beta 1   
Hardware: PC   
OS: Windows XP   
Architecture:
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.
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)