Method test_set_add

tests/test_z3_compat.py:1980–1984

SetAdd adds element to set.

(self)

        assert isinstance(s, ArrayRef)

    def test_set_add(self):
        """SetAdd adds element to set."""

        s = SetAdd(EmptySet(IntSort()), IntVal(1))
        assert isinstance(s, ArrayRef)

    def test_is_member(self):
        """IsMember tests membership."""