Standard output
309638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
309638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 68.1ns
309639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310667 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
310667 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
310667 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
310668 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 1
310668 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
310669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
310669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.5ns
310670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
313755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
313772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
313774 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
313775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
313775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.8ns
313776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config