Standard output
432888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/parserErrorTest/AssignToArray.java
432888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.21ns
432888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
434287 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
434287 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
434287 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
434287 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
434288 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
434289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/1566/a.key
434289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 90.61ns
434290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
438555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s
438572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
438573 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10ns
438575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/issues/39/A.java
438575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.81ns
438576 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config