Standard output
341504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
341504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 93.8ns
341505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
342610 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
342610 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
342610 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
342610 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
342611 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
342612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
342612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 59.6ns
342613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
346011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s
346028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
346030 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.5ns
346032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
346032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 96ns
346033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config