Standard output
351647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
351647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.5ns
351663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
352725 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
352725 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
352725 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
352725 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
352725 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
352725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
352725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.7ns
352725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
356084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s
356100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
356100 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.2ns
356116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
356116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 118.9ns
356116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config