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