Standard output
446058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
446058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.6ns
446058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
447393 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
447393 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
447393 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
447393 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
447408 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
447408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
447408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 504.6ns
447408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
451722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s
451754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
451754 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
451754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
451754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.8ns
451754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config