Standard output
377374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
377389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns
377389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
378593 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
378593 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
378593 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
378593 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
378593 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
378593 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
378593 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.6ns
378609 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
382228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s
382259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
382259 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
382259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
382259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.1ns
382259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config