Standard output
497409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
497409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.3ns
497424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
498948 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
498948 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
498948 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
498948 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
498948 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
498964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
498964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262ns
498964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
503895 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s
503911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
503911 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
503911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
503911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.3ns
503911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config