Standard output
296449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
296449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.7ns
296449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297356 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
297356 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
297356 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
297356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
297356 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
297356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
297356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.5ns
297356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
300123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s
300139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
300139 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
300139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
300139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.5ns
300154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config