Standard output
252187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
252187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.1ns
252187 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
253030 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
253030 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
253030 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
253030 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
253031 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
253032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
253032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.3ns
253033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
255542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s
255556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
255557 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.1ns
255559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
255559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.2ns
255559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config