Standard output
339164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
339164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 123.3ns
339164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
340278 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
340278 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
340278 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
340278 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
340294 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
340294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
340294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.5ns
340294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
343715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s
343746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
343746 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
343746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
343746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.5ns
343746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config