Standard output
391522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
391522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.3ns
391522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
392773 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392773 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392773 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392773 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
392773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
392773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.9ns
392773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
396587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s
396603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
396603 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
396603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
396603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.2ns
396619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config