Standard output
541468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
541468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.1ns
541468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
543165 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
543165 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
543165 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
543165 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
543165 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
543165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
543165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.6ns
543180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
548779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
548810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
548810 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 12.8ns
548810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
548810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.1ns
548810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config