Slash is allowed in place names, but cannot query then
Bug #1575006 reported by
Andreas Petersen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Mads Johannsen | ||
Bug Description
If a slash / is used in the name for a place, queries cannot be performed on them, as a syntax error will be reported when verifying. See the attached file for an example.
Related branches
lp:~tapaal-contributor/tapaal/slash-in-name-fix-1575006
- Jiri Srba: Approve
-
Diff: 64 lines (+5/-5)5 files modifiedsrc/dk/aau/cs/model/tapn/Constant.java (+1/-1)
src/dk/aau/cs/model/tapn/LocalTimedPlace.java (+1/-1)
src/dk/aau/cs/model/tapn/SharedPlace.java (+1/-1)
src/dk/aau/cs/model/tapn/SharedTransition.java (+1/-1)
src/dk/aau/cs/model/tapn/TimedTransition.java (+1/-1)
Revision history for this message
| Andreas Petersen (andrpetersen) wrote | #1 |
| Changed in tapaal: | |
| importance: | Undecided → Critical |
| Changed in tapaal: | |
| assignee: | nobody → Mads Johannsen (mjohan12) |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
