Standard output
430810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
430810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.5ns
430810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
432175 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
432175 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
432175 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
432175 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
432175 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
432175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
432175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.1ns
432175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
436430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s
436445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
436445 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.5ns
436445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
436445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.2ns
436445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config