TAPAAL

  1. Bug #1960299
  2. Comment #1

Comment 1 for bug 1960299

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

The trace seeme to also include some stats:

STEPS : 337
INTERPOLANT AUTOMATAS : 3

I don't think the trace parser likes this.