Standard output
334679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
334679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.7ns
334680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
335789 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
335789 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
335789 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
335789 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
335790 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
335791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
335791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.1ns
335792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
339217 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s
339236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
339238 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
339240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
339240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns
339240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config