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

Bug 306 - Iterator statement conflicts with automatic template instantiation
Summary: Iterator statement conflicts with automatic template instantiation
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.6 Beta 1
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-03-28 15:25 CEST by Gerd Behrmann
Modified: 2006-03-28 17:32 CEST (History)
0 users

See Also:
Architecture:

Attachments
Test case (1.09 KB, text/xml)
2006-03-28 15:38 CEST, Gerd Behrmann 		Details
Query file (91 bytes, application/octet-stream)
2006-03-28 15:39 CEST, Gerd Behrmann 		Details
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 Gerd Behrmann 2006-03-28 15:25:52 CEST 
When using automatic template instantiation with local functions inside the template using the iteration statement, then the process offsets are not correctly computed. E.g. P(2) for P being some processes will not refer to the correct element in the state. Symptoms are wrong results or crashes.
Comment 1 Gerd Behrmann 2006-03-28 15:38:58 CEST 
Created attachment 95 [details]
Test case
Comment 2 Gerd Behrmann 2006-03-28 15:39:23 CEST 
Created attachment 96 [details]
Query file
Comment 3 Gerd Behrmann 2006-03-28 17:32:06 CEST 
Fixed on the trunk from rev. 1697.