Standard output
367125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
367125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 107.8ns
367125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
368244 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
368244 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
368244 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
368244 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
368244 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
368244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
368244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.8ns
368244 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
371712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s
371728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
371728 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.7ns
371728 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
371728 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 426.7ns
371743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config