Standard output
271520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
271520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.9ns
271520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
272409 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
272409 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
272409 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
272409 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
272409 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
272409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
272409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.8ns
272425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
275109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s
275125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
275125 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
275125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
275125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387.6ns
275125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config