Standard output
519605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
519605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.2ns
519620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
521267 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
521267 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
521267 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
521267 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
521267 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
521267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
521267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns
521267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
526437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s
526468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
526468 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
526468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
526468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 153.7ns
526468 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config