Standard output
424169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
424169 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.21ns
424169 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
425555 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
425556 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
425556 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
425556 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
425557 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
425559 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
425559 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.72ns
425561 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
429842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s
429860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
429862 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.3ns
429865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
429865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.61ns
429865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config