Standard output
331010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
331010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.3ns
331012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332034 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
332034 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
332034 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
332034 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
332034 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
332034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
332034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.2ns
332034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
335289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
335305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
335320 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
335320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
335320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.1ns
335320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config