Standard output
455261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
455261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.7ns
455261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
456695 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
456696 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
456696 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
456696 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
456697 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
456697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
456697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.8ns
456699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
461289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s
461307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
461309 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
461311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
461311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 102ns
461312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config