Standard output
274058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
274058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96.2ns
274058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
274968 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
274968 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
274968 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
274968 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
274968 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
274968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
274968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114ns
274983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
277700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s
277716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
277731 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
277731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
277731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.2ns
277731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config