Saves invalid net after renaming color type used in invariant
Bug #2007831 reported by
Kenneth Yrke Jørgensen
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Critical
|
Lena Ernstsen | ||
Bug Description
To reproduce:
- create new net
- add color type A with value "a"
- add place and set an custom invariant for "a"
- rename color type A to AA
- save the net,
- load the saved net,
You get error:
on or more attributes values have an incorrect type
If color type is not renamed it seem to work.
| Changed in tapaal: | |
| milestone: | none → cpn |
| assignee: | nobody → Kenneth Yrke Jørgensen (yrke) |
| importance: | Undecided → Critical |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
| Changed in tapaal: | |
| assignee: | Kenneth Yrke Jørgensen (yrke) → Lena Ernstsen (lsaid) |
| Changed in tapaal: | |
| status: | New → In Progress |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
In the attached net rename A to AA and you get an error when saving/loading the net (quick test via the debug mode).