Change of range in product - save/load error

Bug #2037066 reported by Jiri Srba
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Committed
Undecided
Kenneth Yrke Jørgensen

Bug Description

Open the attached net. Try to save/load (in Debug menu for example "Verify save/load") and all is fine.
Now change the range of int to [1,5]. Try to save/load again and there is an error (caused by the mismatch of the color 3 on the arc as the product color range does not seem to be updated.

Revision history for this message
Jiri Srba (srba) wrote :
Revision history for this message
Jiri Srba (srba) wrote :

The problem seems to be that after the change of int range is not propagated to the arc expressions and to tranisition guard expressions - they still report the old integer range.

Jiri Srba (srba)
description: updated
Jiri Srba (srba)
Changed in tapaal:
assignee: nobody → Kenneth Yrke Jørgensen (yrke)
Jiri Srba (srba)
Changed in tapaal:
status: New → Fix Committed
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.