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

Bug 98 - Syntax error, when specifying two const process parameters in old format.
Summary: Syntax error, when specifying two const process parameters in old format.
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.5
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
URL: http://www.cs.auc.dk/~ulrikl/uppaal/P...
Depends on:
Blocks:
 
Reported: 2004-04-21 13:05 CEST by Ulrik Nyman
Modified: 2005-02-18 11:07 CET (History)
0 users

See Also:
Architecture:

Attachments
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 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.