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: EngineAssignee: 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.