Standard output
350067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
350067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.8ns
350067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351114 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
351114 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
351114 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
351114 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
351114 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
351114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
351114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.9ns
351114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
354365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s
354381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
354381 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
354381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
354381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns
354381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config