Standard output
351593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
351593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.9ns
351594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
352736 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
352736 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
352736 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
352736 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
352737 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
352738 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
352738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.4ns
352739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
356180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
356198 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
356200 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
356202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
356202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 64ns
356202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config