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

Bug 288 - Assignments to selection variables cause exception
Summary: Assignments to selection variables cause exception
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: libutap (show other bugs)
Version: 3.6 Alpha 5
Hardware: All All
: P1 normal
Assignee: Gerd Behrmann
Depends on:
Reported: 2006-03-08 20:58 CET by Gerd Behrmann
Modified: 2006-03-10 12:52 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.