Standard output
530892 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
530892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.7ns
530893 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
532567 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
532567 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
532568 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
532568 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
532569 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
532570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
532570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.4ns
532572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
537793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s
537813 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
537815 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.9ns
537817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
537818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108ns
537818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config