Standard output
332984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
332984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.1ns
332985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
334046 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
334046 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
334046 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
334047 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
334048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
334049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
334050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.6ns
334051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
337433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
337451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
337452 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
337454 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
337454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.5ns
337455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config