Standard output
387798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
387798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.3ns
387798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
389033 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
389033 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
389033 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
389033 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
389033 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
389033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
389033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns
389033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
392714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s
392745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
392745 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
392745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
392745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.1ns
392745 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config