GUI does not show TAR traces
Bug #1960299 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
High
|
Kenneth Yrke Jørgensen |
Bug Description
open referendum-colored, increase token number to 9 in "tie vote" query and ask for trace and select in advanced options using TAR. The engine returns a trace (you can see it in "raw query results") but the GUI complains and does not want to display it.
Changed in tapaal: | |
status: | In Progress → Fix Committed |
To post a comment you must log in.
The trace seeme to also include some stats:
STEPS : 337
INTERPOLANT AUTOMATAS : 3
I don't think the trace parser likes this.