Standard output
275073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
275073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.1ns
275073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
275981 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
275981 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
275981 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
275981 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
275981 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
275981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
275981 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.5ns
275981 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
278654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s
278669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
278669 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
278669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
278669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.2ns
278685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config