Standard output
333076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
333076 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 327ns
333076 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
334280 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
334280 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
334280 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
334280 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
334280 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
334280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
334280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.8ns
334280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
338002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s
338018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
338034 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
338034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
338034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407.1ns
338034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config