Standard output
310983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
310983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.5ns
310984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
311975 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
311975 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
311975 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
311975 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
311976 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
311976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
311976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 56ns
311977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
315068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
315083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
315085 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.7ns
315086 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
315086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68ns
315087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config