Sometimes it is not possible to delete places
Bug #494902 reported by
Morten Jacobsen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Released
|
Critical
|
Unassigned | ||
Bug Description
Sometimes, when you try to delete a place from the model it is not possible. This persist even when saving the model and reloading it..
It is not clear whether this is a problem in TAPAAL 1.3 or only in the development version..
Attached is a model where no place in the model can be deleted.
Related branches
Revision history for this message
| Morten Jacobsen (mortenja) wrote | #1 |
| Changed in tapn: | |
| status: | New → Triaged |
| milestone: | none → 1.4 |
| importance: | Undecided → Critical |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #2 |
| summary: |
- Sometimes it is not possible to delete a place + Sometimes it is not possible to delete places |
| Changed in tapn: | |
| assignee: | nobody → Kenneth Yrke Joergensen (yrke) |
Revision history for this message
| Kenneth Yrke Jørgensen (yrke) wrote | #4 |
| Changed in tapn: | |
| assignee: | Kenneth Yrke Joergensen (yrke) → nobody |
| status: | Triaged → Fix Committed |
| Changed in tapaal: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
This seems to be traced back to an error with the query in the model. The xml-file contains an empty malformed query, and the check to test if you are deleting a place used in a query fails. I expect you can see the error, as when you load the file TAPAAL prints to std.err: "No query was specified: [Ljava.