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