Standard output
354560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
354560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.6ns
354575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
355693 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
355693 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
355693 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
355693 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
355693 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
355693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
355693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.4ns
355709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
359190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s
359222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
359222 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.5ns
359222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
359222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 434.5ns
359222 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config