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:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P2
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

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
bug.

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.