Standard output
351525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
351525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 79.2ns
351526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
352684 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
352684 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
352684 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
352684 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
352685 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
352686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
352686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 67.3ns
352687 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
356221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s
356237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
356239 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
356241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
356241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.5ns
356241 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config