RewriteTest

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

tests
0

failures
0

ignored
7.771s

duration
100%

successful

Tests

Test Duration Result
testLessTransitive() 3.895s passed
testTransitive() 3.876s passed

Standard output

237642     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
239059     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 
241514     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 9.7ns 
241514     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\less_trans.key 
241514     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rewrite find="f < x" replace="x > f"' 
241530     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
242777     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 
245406     DEBUG Test worker     d.u.i.k.p.i.IntermediateProofReplayer Proof replay took 10.1ns 
245406     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\scriptCommands\transitive.key 
245406     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 1: 'rule impRight' 
245406     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 2: 'rule andLeft' 
245406     DEBUG Test worker     d.u.i.k.m.s.ProofScriptEngine 3: 'rewrite find="f = x" replace="x = f"'