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