Standard output
349400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
349400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
349400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
350510 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
350510 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
350510 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
350510 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
350510 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
350510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
350510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns
350510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
353965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
353981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
353981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
353997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
353997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.5ns
353997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config