Standard output
344343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
344343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.2ns
344343 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
345469 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
345469 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
345469 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
345469 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
345469 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
345469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
345469 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns
345469 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
348925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
348940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
348940 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
348940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
348940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.2ns
348940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config