Standard output
426271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
426271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.7ns
426271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
427591 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
427591 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
427591 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
427591 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
427591 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
427591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
427591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.6ns
427591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
431775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s
431791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
431791 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.8ns
431791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
431791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.2ns
431791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config