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