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: libutapAssignee: Gerd Behrmann <behrmann>
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 5   
Hardware: All   
OS: All   

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.