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: libutapAssignee: Gerd Behrmann <behrmann>
Severity: major    
Priority: P1    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   
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]
Comment 2 Gerd Behrmann 2006-02-20 20:28:09 CET
Has been fixed on the trunk (rev. 1541).