Standard output
549917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
549917 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.9ns
549917 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
551653 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
551653 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
551653 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
551653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
551653 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
551653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
551653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.8ns
551653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
557175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s
557190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
557190 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.4ns
557190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
557190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 109.4ns
557208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config