Query error when extra tokens >= 15
Bug #2017657 reported by
Malo Dautry
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| TAPAAL |
New
|
Undecided
|
Unassigned | ||
Bug Description
In the fischer-protocol example net, there are 3 queries, identical except the number of extra tokens.
Only the first query can be verified. extra tokens is 10.
For extra tokens = 15 or 20, the "error during verification" popup appears.
It seems that's it's working for 14 extra tokens but not working for extra tokens >= 15.
When I try to reproduce the bug using the terminal, it works fine. I copy-paste the runned command (printed on the gradle run terminal) and the query is satisfied.
| description: | updated |
| summary: |
- Query error when extra tokens >= 15 verifytapn-win64 + Query error when extra tokens >= 15 |
Revision history for this message
| Jiri Srba (srba) wrote | #1 |
| Changed in tapaal: | |
| milestone: | none → cpn |
Revision history for this message
| Jiri Srba (srba) wrote | #2 |
To post a comment you must log in.
I cannot reproduce it on Mac.