Standard output
341424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
341424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.5ns
341424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
342518 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
342518 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
342518 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
342518 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
342533 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 15ms
342533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
342533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.9ns
342533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
345826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s
345842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
345842 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
345842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
345842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 361.9ns
345842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config