Standard output
384226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
384226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.1ns
384226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
385414 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
385414 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
385414 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
385414 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
385414 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
385414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
385414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237ns
385432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
389307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.87s
389323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
389323 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
389339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
389339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns
389339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config