Standard output
270283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
270283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.8ns
270299 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
271195 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
271195 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
271195 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
271195 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
271195 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
271195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
271195 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.7ns
271195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
273924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
273939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
273939 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.6ns
273939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
273939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.1ns
273955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config