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: libutapAssignee: 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.