Standard output
270905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
270905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.6ns
270905 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
271687 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
271687 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271687 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271687 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271688 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
271688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
271688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.6ns
271689 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
274398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s
274413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
274416 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
274418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
274418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 63.2ns
274418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config