|Summary:||Bad interpretation of ranges when using increment and decrement|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Engine||Assignee:||Gerd Behrmann <behrmann>|
Description Gerd Behrmann 2004-02-18 12:01:02 CET
Reported by Ferdy Hanssen: When I use a ranged integer variable q, the engine will detect a possible deadlock when this integer is at its maximum and I try the update "q := q + 1" or "q += 1" at a transition. But it will not detect a possible deadlock when I try the update "q++" or "++q" and will leave q at its maximum value. Is this intentional? It behaves similarly when q is at its minimum and I try to lower it with 1 in analogous ways.
Comment 1 Gerd Behrmann 2004-02-18 12:01:12 CET
Comment 2 Gerd Behrmann 2004-02-18 12:14:42 CET
A fix has been checked into CVS.