Standard output
294868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
294868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.2ns
294869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295866 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
295866 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
295866 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
295866 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
295867 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
295868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
295868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.5ns
295869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
298801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.93s
298817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
298819 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns
298820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
298820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80.8ns
298821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config