Duplication of invariants
Bug #2045985 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the attached net and double click on the place and press OK. All looks find.
Now double click and make the place shared and press OK. Now every time you double click
the place and click OK, the age invariants get duplicated.
Has something to do with share places --- please double check if there are other similar issues
with shared places/transitions.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.