Standard output
340056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
340056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.6ns
340056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
341102 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
341102 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
341102 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
341102 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
341102 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
341102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
341102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.7ns
341102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
344190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
344206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
344206 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
344206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
344206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 391.2ns
344206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config