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

Bug 207

Summary:	Out of range assignment in struct
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:
Attachments:	Test case in XTA format

Description Gerd Behrmann 2005-10-06 13:42:18 CEST

In the attached model, the engine reports an out of range assignment. But this should not happen.

It works in 3.5.9 but not in the current CVS release.

Comment 1 Gerd Behrmann 2005-10-06 13:42:44 CEST

Created attachment 65 [details]
Test case in XTA format

Comment 2 Gerd Behrmann 2005-10-06 17:33:27 CEST

*** Bug 208 has been marked as a duplicate of this bug. ***

Comment 3 Gerd Behrmann 2005-10-06 17:55:01 CEST

A fix has been checked in.