Standard output
173396 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/key-focus-command9497622013678038439.key
174302 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
176279 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8ns
176279 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/key-focus-command9497622013678038439.key
176281 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
176321 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
176340 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/key-focus-command5900276583383257487.key
177291 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
179267 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.5ns
179268 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /tmp/key-focus-command5900276583383257487.key
179268 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
179317 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''