Standard output
315609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
315609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.5ns
315610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
316642 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
316642 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
316642 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
316642 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
316643 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
316644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
316644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.41ns
316645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
319729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
319746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
319747 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
319749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
319749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 77.1ns
319750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config