Standard output
309878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
309878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.6ns
309879 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
310882 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
310882 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
310882 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
310882 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
310884 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
310884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
310884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.2ns
310886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
313964 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
313979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
313981 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.9ns
313983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
313983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 65.7ns
313984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config