Standard output
482324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
482324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 92.5ns
482325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
483834 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms
483834 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
483834 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
483834 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
483835 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 1ms
483836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
483836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.9ns
483838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
488644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s
488661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
488662 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 11ns
488665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
488665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 73.5ns
488666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config