Wrong k-bound passed
Bug #2044542 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
Open the attached net and verify the query. The GUI passes the k-bound of 8, which is wrong, it should be 12+4 (12 tokens in the initial marking plus 4 extra tokens specified in the query dialog).
This was also bug for CPN etc. so take a look how it was fixed (you may want to take a look at
#2004468 wrong k-bound and
#2029137 Batch processing - wrong k bound
Please, test if this works correctly also for non-game, non-time and non-color variant of the net.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.
It seems that the problem is that the token expression
5'blue + 5'red is counted only as 2 tokens (but it should count
as 10 tokens). The cooeficients are probably forgotten when counting the tokens.