Standard output
518545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
518546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.5ns
518547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
520305 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
520305 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
520305 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
520305 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
520306 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
520307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
520307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.2ns
520309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
525495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s
525519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
525523 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.5ns
525527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
525528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 518.61ns
525542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config