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

Bug 220

Summary:	Assertion failure with invalid typedef
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 1
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2005-11-07 20:40:02 CET

When using a typedef with a non-existing type, e.g.

typedef x y;

where x is undeclared causes an assertion failure in libutap.

Comment 1 Gerd Behrmann 2005-11-19 20:14:15 CET

The problem was in an error recovery production in the parser. A fix is in CVS now.