RewriteTest

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

tests
0

failures
0

ignored
5.169s

duration
100%

successful

Tests

Test Duration Result
testLessTransitive() 2.618s passed
testTransitive() 2.551s passed

Standard error

find = lt(f,x)
de.uka.ilkd.key.macros.scripts.RewriteCommand$Parameters@74c9e053
replace = gt(x,f)
de.uka.ilkd.key.macros.scripts.RewriteCommand$Parameters@74c9e053
#2 = impRight
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@40930325
#2 = andLeft
de.uka.ilkd.key.macros.scripts.RuleCommand$Parameters@121a5961
find = equals(f,x)
de.uka.ilkd.key.macros.scripts.RewriteCommand$Parameters@1252bfdc
replace = equals(x,f)
de.uka.ilkd.key.macros.scripts.RewriteCommand$Parameters@1252bfdc