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

Bug 625 - cannot access array A in template instantiation
Summary: cannot access array A in template instantiation
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.14
Hardware: All All
: P5 minor
Assignee: Marius Mikučionis
Depends on:
Reported: 2016-10-27 11:57 CEST by Marius Mikučionis
Modified: 2017-02-22 14:26 CET (History)
1 user (show)

See Also:

model triggering the problem (683 bytes, text/xml)
2016-10-27 11:57 CEST, Marius Mikučionis

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2016-10-27 11:57:12 CEST
Created attachment 304 [details]
model triggering the problem

Suppose we have a template:

Template(int i){...};

Then in the system declaration:

const int A[2] = {1,1};
Process = Template(A[0]);
system Process;

Uppaal complains at the A[0] expression:

[error] syntax error, unexpected ']'.

If the array variable is renamed to anything but A, then the symptoms are gone.
I tried with variable name E, but Uppaal is fine with that.

4.1.19 does not have this issue.