Standard output
289417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
289417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.4ns
289417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
290294 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
290294 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
290294 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
290294 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
290294 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
290294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
290294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.4ns
290294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
293061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
293076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
293076 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
293076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
293076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.5ns
293076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config