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

Bug 107

Summary:	server crashes on syntax errors involving inline-if operator
Product:	UPPAAL	Reporter:	Angelo Furfaro <furang>
Component:	Engine	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.7
Hardware:	PC
OS:	Linux
Architecture:
Attachments:	example of a model manifesting the bug

Description Angelo Furfaro 2004-10-06 11:15:15 CEST

If you specify an action involving inline-if operator where operands evaluate to
not compatible references, the server crashes.

For example using:

(z<10?z:y):=0

where z is an int and y is a clock

Comment 1 Angelo Furfaro 2004-10-06 11:17:55 CEST

Created attachment 25 [details]
example of a model manifesting the bug

Comment 2 Gerd Behrmann 2004-10-06 12:52:42 CEST

Confirmed. This also seems to be a problem with older versions of Uppaal such as
version 3.4.6. Will be fixed for the next release.

Comment 3 Gerd Behrmann 2004-10-07 10:26:51 CEST

A fix has been checked into CVS.