Standard output
534346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
534346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.8ns
534346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
535989 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
535989 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
535989 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
535989 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
535989 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
535989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
536004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.9ns
536004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
541199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s
541230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
541230 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.8ns
541230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
541230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.7ns
541230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config