Standard output
326786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
326786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.9ns
326787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
327892 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
327892 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
327892 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
327892 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
327893 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
327894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
327894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.7ns
327895 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
331253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
331270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
331272 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.9ns
331274 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
331274 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.7ns
331275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config