Standard output
347016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
347016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns
347017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
348113 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
348113 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
348114 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
348114 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
348115 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
348115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
348115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns
348117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s
351621 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
351622 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
351624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
351624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79ns
351625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config