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