Standard output
357688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
357688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.9ns
357688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
358807 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
358807 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
358807 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
358807 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
358807 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
358807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
358807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.1ns
358823 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
362262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s
362277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
362277 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
362293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
362293 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.8ns
362293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config