Standard output
269751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
269751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.3ns
269751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
270596 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
270596 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
270596 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
270596 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
270596 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
270596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
270596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.5ns
270596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
273269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s
273284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
273284 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.9ns
273284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
273284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 364.4ns
273284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config