Standard output
502875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
502875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.2ns
502876 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
504500 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
504500 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
504500 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
504500 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
504501 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
504504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
504504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.1ns
504506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
509525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s
509543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
509545 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
509547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
509547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 85.2ns
509548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config