Standard output
371701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
371701 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.9ns
371701 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
373031 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
373031 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
373031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
373031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
373031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
373031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
373031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.7ns
373047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
377013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s
377032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
377064 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.9ns
377064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
377064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153ns
377064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config