Standard output
414811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
414811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.5ns
414811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
416145 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
416145 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
416145 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
416145 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
416145 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
416145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
416145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.5ns
416145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
420269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s
420284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
420284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9ns
420284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
420284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.8ns
420284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config