Standard output
369444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
369444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 341.4ns
369444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
370679 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
370679 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
370679 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
370679 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
370679 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
370679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
370679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 569.5ns
370694 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
374228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s
374243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
374243 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
374259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
374259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.9ns
374259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config