Max tokens reporting in game verifypn is wrong
Bug #2033383 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 answer is FALSE but it should be Inconclusive (in yellow) as there are not enough tokens. If you add one extra token to the query, the query becomes TRUE. The problem is in the engine that reports the max tokens in the statistics as always 0, irrelevant how many tokens were used, so the engine statistics should be fixed.
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| status: | New → Fix Committed |
To post a comment you must log in.
