Standard output
362997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
362997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.9ns
362997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
364188 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364188 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364188 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364188 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
364188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
364188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 421.6ns
364204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
367757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s
367772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
367772 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
367772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
367772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.5ns
367788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config