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

Bug 306

Summary:	Iterator statement conflicts with automatic template instantiation
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.6 Beta 1
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case Query file

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.