Standard output
376346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
376362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.8ns
376362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
377550 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
377550 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
377550 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
377550 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
377550 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
377550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
377550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.5ns
377550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
381162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s
381178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
381178 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
381178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
381178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.1ns
381178 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config