Standard output
337546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
337546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 87.1ns
337547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
338649 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
338650 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
338650 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
338651 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
338652 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
338654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
338654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361ns
338655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
342059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
342078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
342080 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
342082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
342082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.1ns
342083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config