Standard output
476046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
476046 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.7ns
476046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
477462 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
477462 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
477462 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
477462 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
477462 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
477462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
477462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.5ns
477462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
482014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s
482037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
482037 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.3ns
482052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
482052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.2ns
482052 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config