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

Bug 98

Summary: Syntax error, when specifying two const process parameters in old format.
Product: UPPAAL Reporter: Ulrik Nyman <ulrik>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: minor    
Priority: P2    
Version: 3.4.5   
Hardware: All   
OS: All   

Description Ulrik Nyman 2004-04-21 13:05:59 CEST
When two const process parameters are defined in the old syntax "const i,j" 
only the first one is considered to be const. Thus the following assignments 
yields a syntax error in the second line.

int[0,5] x := i;
int[0,5] y := j;

There is no syntax error is one writes: "const i; const j"

The link point to a small example file.
Comment 1 Gerd Behrmann 2004-04-27 11:21:07 CEST
A fix has been checked into CVS.