RewriteTest

all > de.uka.ilkd.key.macros.scripts.meta > RewriteTest

tests

failures

ignored

5.231s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testLessTransitive()	2.592s	passed
testTransitive()	2.639s	passed

Standard output

172109     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
172881     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 
174673     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 7.3ns 
174673     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
174673     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' 
174689     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
175575     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 
177327     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 6.7ns 
177327     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
177327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
177327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' 
177327     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'