Standard output
268665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
268665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95.5ns
268665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
269549 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
269549 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
269549 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
269549 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
269549 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
269549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
269549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 101.3ns
269565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
272188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s
272204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
272204 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
272204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
272204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.8ns
272219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config