Standard output
335379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
335379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
335395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
336364 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
336364 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
336364 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
336364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
336364 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
336364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
336364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns
336364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
339361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s
339377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
339377 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
339393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
339393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 388.1ns
339393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config