Standard output
319367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
319367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60.5ns
319367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
320327 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
320327 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
320327 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
320327 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
320328 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
320329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
320329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 60ns
320330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
323410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s
323425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
323427 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.1ns
323428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
323428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 62.3ns
323429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config