Standard output
350639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
350639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.9ns
350639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351810 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
351810 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
351810 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
351810 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
351826 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 16ms
351826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
351826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.4ns
351826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
355265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s
355297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
355297 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns
355297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
355297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 465.5ns
355297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config