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

Bug 219

Summary: Multible urgent channel parameters are not converted
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: RESOLVED FIXED    
Severity: minor    
Priority: P1    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2005-11-07 19:56:58 CET 
Parameter declarations in the 3.4 syntax in the form

  urgent chan a, b

are converted by the syntax converter in the GUI to

  urgent chan a, chan b

which is not the intended result.
Comment 1 Gerd Behrmann 2005-11-19 23:31:51 CET 
A fix has been checked into CVS.