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

Bug 93

Summary: Server crashes on syntax errors!!
Product: UPPAAL Reporter: Angelo Furfaro <furang>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.4.4   
Hardware: All   
OS: All   
Architecture:

Description Angelo Furfaro 2004-02-24 11:55:48 CET
This bug can be reproduced by typing the following code in the global
declaration section:

int a[3][2]:={
	{1,2},
	{3,2},
	{3,4},//<-this comma introduces a syntax error
	};


The same behavior can be obtained by the folowing declaration:

int a[3]:={1,+2,2};


in this case is the plus (+) character that causes the error



In both cases the server  crashes instead of reporting syntax errors!!
Comment 1 Gerd Behrmann 2004-02-24 12:07:50 CET
Confirmed. Thanks for reporting this.
Comment 2 Gerd Behrmann 2004-03-12 11:05:50 CET
A fix has been checked into CVS.