Standard output
555807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
555807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191ns
555807 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
557540 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
557540 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
557540 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
557540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
557540 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
557540 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
557540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.1ns
557555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
562887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s
562903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
562903 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
562903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
562903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.1ns
562918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config