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