Standard output
337632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
337632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 441.8ns
337648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
338735 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
338735 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
338735 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
338735 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
338750 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 15ms
338750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
338750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns
338750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
342027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s
342043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
342043 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
342043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
342043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.2ns
342058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config