def test_compare_clauselist_not_associative(self): l1 = ClauseList( self.a.c.x, self.a.c.y, self.b.c.y, operator=operators.sub) l2 = ClauseList( self.b.c.y, self.a.c.x, self.a.c.y, operator=operators.sub) is_true(l1.compare(l1)) is_false(l1.compare(l2))
def test_compare_clauselist_not_assoc_different_operator(self): l1 = ClauseList( self.a.c.x, self.a.c.y, self.b.c.y, operator=operators.sub) l2 = ClauseList( self.a.c.x, self.a.c.y, self.b.c.y, operator=operators.div) is_false(l1.compare(l2))