Standard output
278712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
278712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.9ns
278728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
279616 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
279616 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
279632 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
279632 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
279632 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
279632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
279632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.7ns
279632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
282384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s
282400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
282400 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.1ns
282400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
282400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns
282400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config