If you specify an action involving inline-if operator where operands evaluate to
not compatible references, the server crashes.
For example using:
where z is an int and y is a clock
Created attachment 25 [details]
example of a model manifesting the bug
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.
A fix has been checked into CVS.