Standard output
321888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
321888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.8ns
321904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
322998 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
322998 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
322998 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
322998 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
323014 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
323014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
323014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393.9ns
323014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
326219 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s
326235 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
326235 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.2ns
326250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
326250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178ns
326250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config