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