Standard output
317733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
317733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.1ns
317733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
318704 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
318704 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
318704 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
318704 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
318719 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
318719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
318719 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210ns
318719 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
321812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s
321828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
321828 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
321844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
321844 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.1ns
321844 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config