Standard output
437938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
437938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 82.8ns
437939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
439364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
439365 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
439365 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
439365 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
439366 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
439367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
439367 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns
439368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
443739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s
443758 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
443760 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
443761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
443761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 70.4ns
443762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config