Standard output
336721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
336721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116ns
336721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
337784 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
337784 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
337784 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
337784 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
337784 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
337784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
337784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.5ns
337799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
341134 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s
341158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
341158 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
341158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
341158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.4ns
341158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config