Standard output
379163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
379163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 112.7ns
379179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
380381 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
380381 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
380381 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
380381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
380381 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
380381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
380381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.3ns
380397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
383992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
384008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
384008 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
384008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
384008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117ns
384008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config