Standard output
528749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
528749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 131.3ns
528749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
530360 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
530360 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
530360 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
530360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
530360 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
530360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
530360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.9ns
530360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
535464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s
535493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
535496 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.8ns
535501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
535501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.1ns
535501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config