Standard output
200876 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/scriptCommands/less_trans.key
201868 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
203949 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.4ns
203949 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/scriptCommands/less_trans.key
203950 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
203958 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/scriptCommands/transitive.key
204977 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
207051 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.2ns
207052 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src/test/resources/testcase/scriptCommands/transitive.key
207052 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
207054 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
207055 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'