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

Bug 253

Summary:	Syntax errors in invariant cause crash
Product:	UPPAAL	Reporter:	Rena <ranab>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 4
Hardware:	All
OS:	All
Architecture:

Description Rena 2006-01-31 22:31:44 CET

When you put the condition if as invariant, "server" application throw the
exception, while Uppaal has to report syntax/semantical problem.

Comment 1 Gerd Behrmann 2006-02-01 09:37:50 CET

Any keyword in an invariant seem to cause a server crash. This is most likely a problem in libutap.

Comment 2 Gerd Behrmann 2006-02-05 19:24:08 CET

Fixed on the trunk. The problem was caused by any kind of syntax error (but not
type error) in an invariant when reading an XML file (the GUI uploads the model
as an XML file).