RewriteTest

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

tests

failures

ignored

8.661s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testLessTransitive()	4.065s	passed
testTransitive()	4.596s	passed

Standard output

233053     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
234460     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 
237102     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
237102     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' 
237305     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
238666     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 
241667     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
241667     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
241699     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' 
241699     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'