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

Bug 270

Summary:	Excess elements in funciton local array initialisers cause exception
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	major
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	All
Architecture:
Attachments:	Test-case

Description Gerd Behrmann 2006-02-13 19:41:35 CET

Excess elements in function local array initialisers cause an exception to be thrown and the server to die. 
The expected behaviour is a simple syntax error.

Comment 1 Gerd Behrmann 2006-02-13 19:41:50 CET

Created attachment 89 [details]
Test-case

Comment 2 Gerd Behrmann 2006-02-20 20:28:09 CET

Has been fixed on the trunk (rev. 1541).