Standard output
523763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
523763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.8ns
523763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525442 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
525442 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
525442 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
525442 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
525442 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
525457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
525457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 410.2ns
525457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
531154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.69s
531170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
531170 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns
531170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
531170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138ns
531186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config