Standard output
437740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
437740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.8ns
437740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
439178 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439178 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439178 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439178 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439178 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
439178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
439178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 420.7ns
439193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
443618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s
443650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
443650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12ns
443650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
443650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.1ns
443650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config