Standard output
252442 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key
252458 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
252458 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
258289 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\scriptCommands\less_trans.key
258351 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
259883 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key
259883 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
259883 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
262744 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\scriptCommands\transitive.key
262776 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
263119 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
263151 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'