Standard output
416851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
416851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.1ns
416851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
418164 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
418164 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
418164 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
418164 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
418164 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
418164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
418164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns
418164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
422276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s
422291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
422291 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.7ns
422291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
422291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.4ns
422291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config