Standard output
402279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
402279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.3ns
402279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
403511 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
403511 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
403511 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
403511 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
403511 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
403511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
403511 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.5ns
403511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
407373 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s
407389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
407389 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.3ns
407389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
407389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145ns
407389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config