Standard output
406875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
406875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.4ns
406875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
408329 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
408329 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
408329 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
408329 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
408329 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
408329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
408329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.2ns
408329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
412457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s
412472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
412472 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
412472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
412472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.7ns
412488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config