Standard output
431982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
431982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.3ns
431982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
433347 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
433347 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
433347 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
433347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
433347 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
433347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
433347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 383.5ns
433347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
437627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
437642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
437642 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
437658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
437658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135ns
437658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config