Standard output
478678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
478678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84.7ns
478679 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
480231 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
480231 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
480232 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 1 ms
480232 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
480233 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
480233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
480233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.3ns
480237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
484948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s
484967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
484968 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
484970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
484971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.5ns
484971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config