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

Bug 288

Summary:	Assignments to selection variables cause exception
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	libutap	Assignee:	Gerd Behrmann <behrmann>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	P1
Version:	3.6 Alpha 5
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2006-03-08 20:58:51 CET

It seems that the type checker does not catch an assignment to an identifier used in a selection expression on an edge, i.e.

select i : int[0,3];
assign i = 2;

does not give a syntax error. Instead, the verifier throws an exception.

Comment 1 Gerd Behrmann 2006-03-09 21:42:02 CET

Quantifiers suffer from the same problem. Iterator statements to not cause an exception but a runtime failure during verification.

Comment 2 Gerd Behrmann 2006-03-10 12:52:02 CET

Fixed on the trunk.