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

Bug 93 - Server crashes on syntax errors!!
Summary: Server crashes on syntax errors!!
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.4
Hardware: All All
: P2 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-02-24 11:55 CET by Angelo Furfaro
Modified: 2005-02-18 11:05 CET (History)
0 users

See Also:
Architecture:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
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.