Standard output
517771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
517771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.4ns
517771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
519360 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
519360 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
519360 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
519360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
519360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
519360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
519360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.1ns
519360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
524270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s
524302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
524302 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
524302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
524302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.3ns
524302 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config