Standard output
539471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
539471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.2ns
539486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
541275 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
541275 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
541275 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
541275 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
541275 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
541275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
541275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.1ns
541275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
546855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.58s
546886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
546886 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
546886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
546886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 152.9ns
546886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config