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