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 |
Changed in tapaal: | |
milestone: | none → cpn |
To post a comment you must log in.
I cannot reproduce it on Mac.