Places/transitions with the character + and * should be disallowed
Bug #343760 reported by
Jiri Srba
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Medium
|
Joakim Byg | ||
Bug Description
Now places cannot contain the character *
This should be the case also for the character +
Transitions should not be allowed to contain neither + and * in their names.
One should check the exact syntax what UPPAAL allows as names of locations/channels
and adopt the same restrictions for places and transitions.
| Changed in tapn: | |
| importance: | Undecided → Medium |
| milestone: | none → version1 |
| Changed in tapn: | |
| assignee: | nobody → joakim-byg |
| status: | New → Fix Committed |
| Changed in tapn: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
