Standard output
518657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
518657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195ns
518657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
520315 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
520315 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
520315 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
520315 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
520315 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
520315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
520315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.1ns
520331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s
525491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
525507 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
525507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
525507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.1ns
525507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config