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

Bug 92

Summary: Bad interpretation of ranges when using increment and decrement
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: EngineAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: major    
Priority: P2    
Version: 3.4.4   
Hardware: All   
OS: All   
Architecture:

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
Confirmed.
Comment 2 Gerd Behrmann 2004-02-18 12:14:42 CET
A fix has been checked into CVS.