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