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