Standard output
252539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
252539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.4ns
252540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
253364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
253364 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
253364 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
253364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
253365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
253365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
253365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.4ns
253366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
255845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s
255858 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
255860 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 5.7ns
255861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
255862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.4ns
255862 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config