Standard output
290557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
290557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns
290557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
291465 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
291465 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
291465 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
291465 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
291465 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
291465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
291465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.1ns
291465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
294203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s
294219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
294219 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 15.2ns
294219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
294219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 411.2ns
294219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config