Standard output
440008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
440008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.9ns
440008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
441384 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
441384 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
441384 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
441384 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
441384 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
441384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
441384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499.7ns
441400 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
445809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s
445840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
445840 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
445840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
445840 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.2ns
445840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config