Standard output
453522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
453522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.1ns
453522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
454906 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
454906 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
454906 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
454906 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
454908 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
454909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
454909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.6ns
454911 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
459304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s
459320 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
459322 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
459324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
459324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94.7ns
459325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config