Standard output
521713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
521713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.6ns
521713 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
523339 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
523339 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
523339 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
523339 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
523339 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
523339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
523339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.1ns
523355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
528389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s
528421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
528436 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
528436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
528436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.7ns
528436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config