Color token counting if .all is used with product type
Bug #1987397 reported by
Jiri Srba
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen | ||
Bug Description
In case of product colors with .all one should compute the correct number of tokens
that are in the initial marking. See the attached image.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| summary: |
- Color token counting if .all is used + Color token counting if .all is used with product type |
| Changed in tapaal: | |
| status: | New → In Progress |
| assignee: | nobody → Lena Ernstsen (lsaid) |
| Changed in tapaal: | |
| status: | In Progress → Fix Committed |
To post a comment you must log in.
