Standard output
287538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
287538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.7ns
287538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288429 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
288429 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
288429 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
288429 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
288445 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
288445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
288445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.9ns
288445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
291309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s
291325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
291325 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
291325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
291340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104ns
291340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config