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

Bug 253 - Syntax errors in invariant cause crash
Summary: Syntax errors in invariant cause crash
Status: RESOLVED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.6 Alpha 4
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-01-31 22:31 CET by Rena
Modified: 2006-02-05 19:24 CET (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

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