Standard output
340543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
340543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.6ns
340544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
341684 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
341684 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
341684 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
341684 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
341685 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
341686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
341686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.4ns
341687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
345200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s
345218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
345220 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
345222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
345222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.6ns
345223 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config