Standard output
444377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
444377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.1ns
444377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445770 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
445770 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
445770 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
445770 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
445770 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
445770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
445770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404ns
445770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
450081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s
450097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
450097 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
450112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
450112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.2ns
450112 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config