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

Bug 518 - Error in systematic parameter substiturion for templates
Summary: Error in systematic parameter substiturion for templates
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 4.0.13
Hardware: PC Windows XP
: P2 normal
Assignee: Alexandre David
Depends on:
Reported: 2011-08-02 04:30 CEST by Anders P. Ravn
Modified: 2011-08-02 04:30 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Anders P. Ravn 2011-08-02 04:30:00 CEST
With the following declarations:

chan c;
typedef struct{int  b;} B;
B d;

and a template with heading

Template(chan& b)

with one transition with the update d.b= req.b, where req is local of type B

the system
p := Template(c);
system  p;

results in the instantion of p with the update:
d.c= req.c

It looks like textual substitution that does not respect bindings.