Standard output
284538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
284538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.4ns
284538 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285459 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
285459 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
285459 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
285474 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
285474 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
285474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
285474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 371.5ns
285474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
288327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s
288342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
288342 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
288358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
288358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122ns
288358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config