Standard output
213254 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9323534529501021101.key
213254 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
213270 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
215708 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command9323534529501021101.key
215771 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
215833 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 3''
216990 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6329975078003356844.key
216990 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
216990 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key
219429 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from C:\Users\RUNNER~1\AppData\Local\Temp\key-focus-command6329975078003356844.key
219492 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'macro 'nosplit-prop''
219507 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'focus 'i=1 ==> i = 4''