Bug 518

Summary: Error in systematic parameter substiturion for templates
Product: UPPAAL Reporter: Anders P. Ravn <apr>
Component: EngineAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: normal    
Priority: P2    
Version: 4.0.13   
Hardware: PC   
OS: Windows XP   

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.