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