Standard output
335641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
335641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.4ns
335641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
336673 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
336673 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
336689 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 16 ms
336689 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
336690 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
336690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
336690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 495.6ns
336690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
340035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s
340050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
340050 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
340050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
340050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.8ns
340050 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config