RewriteTest

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

tests

failures

ignored

6.927s

duration

100%

successful

Tests
Standard output

Tests

Test	Duration	Result
testLessTransitive()	3.500s	passed
testTransitive()	3.427s	passed

Standard output

229167     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
230277     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 
232653     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.1ns 
232653     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
232668     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' 
232684     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
233779     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 
236079     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 8.6ns 
236079     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
236079     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
236095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' 
236095     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'