Standard output
281925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
281925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.7ns
281925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
282828 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
282828 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
282828 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
282828 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
282828 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
282828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
282828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.2ns
282843 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
285634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s
285650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
285650 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
285650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
285650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.4ns
285650 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config