Standard output
565991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
565991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.9ns
565991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
567788 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
567788 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
567788 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
567788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
567788 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
567788 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
567803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.5ns
567803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
573551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s
573574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
573574 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
573574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
573574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.1ns
573574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config