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

Bug 135

Summary:	Engine crash during syntax check
Product:	UPPAAL	Reporter:	Ulrik Nyman <ulrik>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	major
Priority:	P2
Version:	3.4.7
Hardware:	PC
OS:	All
URL:	http://www.cs.aau.dk/~ulrikl/uppaal/syntaxGuardCrash.xml
Architecture:

Description Ulrik Nyman 2005-03-15 10:07:22 CET

If anaything that triggers an error message in a guard is followed by a comma
then the server connection is lost during the syntax check.

Comment 1 Gerd Behrmann 2005-03-21 12:57:31 CET

Confirmed.

Comment 2 Gerd Behrmann 2005-03-30 17:31:44 CEST

This was caused by a simple bug in a recovery rule in the parser. A fix for 3.4
and 3.5 has been checked into CVS.