Standard output
427091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
427091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.1ns
427091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
428426 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
428426 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
428426 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
428426 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
428426 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
428426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
428426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.3ns
428426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
432579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s
432595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
432595 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
432610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
432610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns
432610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config