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.