Standard output
173690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\less_trans.key
173690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 110.9ns
173690 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\scriptCommands\less_trans.key took 0 ms to parse.
173690 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
173690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
174534 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
174534 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
176271 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s
176294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof less_trans.key
176294 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.4ns
176294 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\scriptCommands\less_trans.key took 0 ms to parse.
176294 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
176294 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"'
176303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\scriptCommands\transitive.key
176303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 106.1ns
176303 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\scriptCommands\transitive.key took 0 ms to parse.
176303 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
176303 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config
177162 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse.
177162 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
178835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s
178851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Replaying proof transitive.key
178866 DEBUG Test worker d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns
178866 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\scriptCommands\transitive.key took 0 ms to parse.
178866 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms.
178866 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight'
178866 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft'
178866 DEBUG Test worker d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'