Standard output
508954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\parserErrorTest\AssignToArray.java
508954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 130.3ns
508954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
510622 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms
510622 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: <unknown>:1#1
510622 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms
510622 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0
510622 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 0ms
510622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\1566\a.key
510622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.2ns
510622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
515757 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s
515773 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof a.key
515789 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.9ns
515789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\issues\39\A.java
515789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.5ns
515789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config