Standard output
312477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
312477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 74.4ns
312478 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
313484 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
313485 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
313485 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
313485 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
313486 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
313488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
313488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301ns
313489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
316609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s
316624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
316626 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.6ns
316628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
316628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 69.3ns
316628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config