Standard output
364320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
364320 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns
364320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
365492 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
365492 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
365492 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
365492 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
365492 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
365492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
365492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.9ns
365492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
368995 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s
369011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
369011 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
369011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
369011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.2ns
369011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config