Standard output
328273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
328273 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns
328273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
329321 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
329321 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
329321 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
329321 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
329322 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
329323 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
329323 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.2ns
329324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
332618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
332635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
332636 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns
332640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
332641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.2ns
332641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config