Standard output
334445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
334445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.3ns
334445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
335539 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
335539 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
335539 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
335540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
335540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
335541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
335541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 76.7ns
335543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
338933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
338949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
338951 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
338955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
338955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.6ns
338956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config