Standard output
292022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
292022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 54.2ns
292022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
292937 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
292937 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
292937 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
292937 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
292939 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 2ms
292939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
292940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88.9ns
292941 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
295721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s
295734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
295735 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
295737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
295737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.8ns
295737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config