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

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.