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

Bug 107 - server crashes on syntax errors involving inline-if operator
Summary: server crashes on syntax errors involving inline-if operator
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Engine (show other bugs)
Version: 3.4.7
Hardware: PC Linux
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-10-06 11:15 CEST by Angelo Furfaro
Modified: 2005-06-29 21:25 CEST (History)
0 users

See Also:
Architecture:

Attachments
example of a model manifesting the bug (1022 bytes, text/plain)
2004-10-06 11:17 CEST, Angelo Furfaro 		Details
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 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.