Standard output
362922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
362922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 151.3ns
362922 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
364048 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
364048 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
364048 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
364048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
364048 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
364063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
364063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns
364063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
367794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s
367810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
367826 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 34.7ns
367826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
367826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.3ns
367826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config