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

Bug 302

Summary:	Memory corruption from function calls in variable declarations
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:

Description Gerd Behrmann 2006-03-23 13:49:39 CET

If user defined functions are called from an expression used to define the bounds of an integer or the size of an array, then the memory layout of the virtual machine will be corrupted. This is a regression from alpha 5 to beta 1.