From Martin Instenberg:
in the attached model I use a function to update a component of a struct variable.
This seems to work correctly, but when doing a syntax check the warning:
"Expression does not have any effect" occurs.
Moving the update from inside the function directly to the edge does not have
This might be a (realy) minor bug.
Created attachment 78 [details]
The problem also affects type checking of guards: As UPPAAL does not detect the side-effect, it accepts a
call of this function from a guard (which is bad, as the engine assumes that guards have no side-effect).
As of now fixed on the trunk.