Standard output
280907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
280907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.4ns
280907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
281800 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
281800 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
281800 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
281800 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
281800 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
281800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
281800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.4ns
281800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
284504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s
284520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
284520 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
284520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
284520 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.7ns
284535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config