Disallow same names of places and transitions
Bug #354772 reported by
Jiri Srba
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
High
|
Joakim Byg | ||
Bug Description
When a name of a place or a transition is changed and it is already used somewhere in the net, it should not be allowed to accept
such a duplicate name. This should be run-time check after the new name is entered.
| Changed in tapn: | |
| importance: | Undecided → High |
| milestone: | none → version1.5 |
| Changed in tapn: | |
| assignee: | nobody → joakim-byg |
| status: | New → Confirmed |
| Changed in tapn: | |
| status: | Confirmed → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
