Standard output
299770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
299771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.7ns
299771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
300778 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
300778 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
300778 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
300778 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
300779 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
300779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
300779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 66.8ns
300781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
303763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s
303778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
303782 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
303786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
303786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 436.5ns
303787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config