Standard output
299290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
299290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.6ns
299290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
300269 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
300269 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
300269 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
300269 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
300285 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
300285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
300285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.8ns
300285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303172 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s
303187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
303187 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
303317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
303317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns
303317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config