Standard output
366228 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
366228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.7ns
366229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
367357 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
367358 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
367358 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
367358 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
367359 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
367361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
367361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 356.2ns
367363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
371014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s
371034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
371036 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
371039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
371039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375.8ns
371040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config