Standard output
279465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
279465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.5ns
279465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
280355 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
280355 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
280355 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
280355 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
280355 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
280355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
280355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.4ns
280371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
283118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s
283133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
283133 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.2ns
283133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
283133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.8ns
283149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config