Standard output
549196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
549196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.6ns
549196 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
550940 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
550940 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
550940 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
550940 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
550940 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
550940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
550940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 129.4ns
550956 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
556558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s
556589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
556589 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.4ns
556589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
556589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns
556589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config