Standard output
459750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
459750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.2ns
459750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
461173 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
461189 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
461189 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
461189 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
461189 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
461189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
461189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns
461189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
465676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s
465692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
465692 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
465708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
465708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.8ns
465708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config