Standard output
396435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
396435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.8ns
396435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
397686 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
397686 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
397686 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
397686 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
397686 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
397686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
397686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.1ns
397686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
401624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s
401640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
401656 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.7ns
401656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
401656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms
401656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config