TAPAAL

  1. Bug #947869
  2. Comment #1

Comment 1 for bug 947869

Revision history for this message
Jiri Srba (srba) wrote :

The problem seems to be related to EG query when we ask for a trace. Parsing the trace in this case seems to be giving
these problems with premature end of file.

Also, if there should be no trace, TAPAAL first answers that the trace could not be generated. But there is not
trace so such a message should not be issued.