Standard output
496248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
496248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.1ns
496248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
497825 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
497825 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
497825 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
497825 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
497825 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
497825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
497825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.5ns
497825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
502605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s
502620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
502620 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
502620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
502620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.4ns
502620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config