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

Bug 246

Summary:	Syntax errors in property specification are not reported
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 3
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-01-02 12:22:53 CET

If the specification contains syntax errors, the server crashes with a "Server connection lost" message 
rather than reporting the syntax error. As a bare minimum, the syntax error should be reported in the 
status log.