Standard output
257854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
257854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 289.9ns
257854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
258677 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
258677 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
258677 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
258677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
258677 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
258677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
258677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.8ns
258677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
261159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s
261174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
261174 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.3ns
261190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
261190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.5ns
261190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config