Standard output
335894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
335894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.7ns
335894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
337042 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
337042 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
337042 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
337042 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
337042 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
337042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
337042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.6ns
337042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
340388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
340413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
340413 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
340413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
340413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns
340413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config