Standard output
328585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
328600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358ns
328602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
329648 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
329648 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
329648 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
329648 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
329648 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
329648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
329648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.7ns
329648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s
332932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
332932 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
332932 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
332932 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.6ns
332947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config