Standard output
365926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
365926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.3ns
365926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
367028 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
367028 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
367028 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
367028 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
367028 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
367028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
367028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.4ns
367028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
370402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s
370417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
370417 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
370433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
370433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.2ns
370433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config