Standard output
292309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
292309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.5ns
292309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
293185 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
293185 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
293185 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
293185 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
293185 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
293185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
293185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.6ns
293185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s
295795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
295795 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.8ns
295795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
295795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.5ns
295795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config