Standard output
383622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
383622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.8ns
383622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
384779 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
384779 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
384779 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
384779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
384779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
384794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
384794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 381.9ns
384794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
388407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s
388438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
388438 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
388438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
388438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.1ns
388438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config