Standard output
520818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
520818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.1ns
520818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
522432 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
522432 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
522432 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
522432 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
522432 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
522432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
522432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns
522432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
527546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s
527562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
527577 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.3ns
527577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
527577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142ns
527577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config