Can edit used color
Bug #1985048 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
It is possible to edit a product color that is already used in the net. This makes the net invalid and results in an error when trying to verify a query.
How to reproduce:
- Create a colored net with a product color consisting of 1 dot
- Add a place and transition connected by an arc
- Make a guard on a transition with the product color
- Edit the product color to consist of 2 dot
- Verify a query
A verification error will occur saying "COULD NOT FIND PRODUCT TYPE".
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
I cannot reproduce the error. What exact guard should I create?