Standard output
284841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
284841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.1ns
284841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285779 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
285779 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
285779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
285779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
285779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
285779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
285779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.6ns
285779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s
288602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
288602 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
288602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
288602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.9ns
288602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config