Standard output
414450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
414450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 116.3ns
414450 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
415716 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
415716 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
415716 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
415716 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
415716 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
415716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
415716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.2ns
415732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
419671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s
419687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
419687 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
419687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
419687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns
419687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config