Standard output
346611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
346611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.3ns
346611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
347732 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
347732 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
347732 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
347732 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
347732 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
347732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
347732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.2ns
347732 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
351136 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s
351152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
351152 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns
351152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
351152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.2ns
351167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config