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: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Beta 1   
Hardware: All   
OS: All   

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.