Standard output
307062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
307062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns
307062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
308000 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
308000 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
308000 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
308000 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
308000 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
308000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
308000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.5ns
308000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s
310811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
310811 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
310811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
310811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108ns
310811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config