GUI does not show TAR traces

[Jiri Srba]

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.

[Kenneth Yrke Jørgensen (yrke)]

The trace seeme to also include some stats:

STEPS : 337
INTERPOLANT AUTOMATAS : 3

I don't think the trace parser likes this.

[Jiri Srba (srba)]

Maybe the fix is to let the engine to print the statistics to stdout instead?

[Kenneth Yrke Jørgensen (yrke)]

I pushed a fix for this, that includes some fixes also related to verifpn ltl traces.

[Jiri Srba (srba)]

The fix is broken, the engine returns:

java.util.concurrent.ExecutionException: java.lang.NullPointerException: Cannot invoke "dk.aau.cs.model.tapn.TimedPlace.name()" because the return value of "dk.aau.cs.model.tapn.TimedToken.place()" is null

[Jiri Srba (srba)]

There is still a problem, the GUI asks whether the import the queries at LTL or CTL but it should not ask this, it should be overtaken from the queries before unfolding.

[Jiri Srba (srba)]

The problem with naming of places was fixed in verifypn. The problem for LTL/CTL question is still present.

[Jiri Srba (srba)]

It is fixed now in PR10.