Standard output
390944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
390944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.4ns
390959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
392101 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
392101 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
392101 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
392101 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
392101 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
392101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
392101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.9ns
392101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
395806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s
395822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
395822 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns
395822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
395822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.8ns
395838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config