Standard output
504391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
504391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.6ns
504391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
506031 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
506031 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
506031 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
506031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
506031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
506031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
506031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.9ns
506031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
511053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s
511084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
511084 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
511084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
511084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns
511084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config