Standard output
327715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
327715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117ns
327715 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
328817 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
328817 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
328817 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
328817 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
328833 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
328833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
328833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.7ns
328833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s
332118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
332118 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.6ns
332118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
332118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 119.4ns
332118 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config