

def test_unification_error(self):
    '\n        Ensure invalid unifications make an error\n        '
    from sebastian.core import Point
    from sebastian.core.elements import UnificationError
    p1 = Point(a=1, b='foo')
    p2 = Point(a=2, b='foo')
    try:
        (p1 % p2)
        self.assertTrue(False)
    except UnificationError:
        self.assertTrue(True)

dataset/ETHPy150Open jtauber/sebastian/tests/test_point.py TestPoint.test_unification_error/original