Standard output
294124 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
294124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.1ns
294139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295048 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
295048 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
295048 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
295048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
295048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
295048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
295048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.6ns
295048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
297884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.83s
297900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
297900 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 13ns
297900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
297915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315ns
297915 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config