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

Bug 225

Summary: Function local typedefs cause fault
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P2    
Version: 3.6 Alpha 1   
Hardware: All   
OS: All   

Description Gerd Behrmann 2005-11-19 20:13:10 CET
Typedefs placed inside a function declaration cause the engine to crash.
Comment 1 Gerd Behrmann 2005-11-19 20:28:09 CET
Function local type definitions have now been disallowed in CVS. This fixes this
Comment 2 Gerd Behrmann 2005-11-19 20:54:53 CET
Function local type definitions have been reenabled and the actual cause of the
bug has been fixed.