Standard output
350809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
350809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns
350825 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351888 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
351888 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
351888 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
351888 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
351888 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
351888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
351888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 393ns
351888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
355109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s
355140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
355140 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
355140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
355140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.1ns
355140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config