Standard output
276973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
276973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133ns
276973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
277833 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
277833 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
277833 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
277833 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
277849 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
277849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
277849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.2ns
277849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
280616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s
280631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
280631 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11.6ns
280631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
280631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150.9ns
280647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config