Method test_set_union

tests/test_z3_ported.py:4036–4040

(self)

        assert isinstance(s2, ArrayRef)

    def test_set_union(self):
        a = EmptySet(IntSort())
        b = EmptySet(IntSort())
        result = SetUnion(a, b)
        assert isinstance(result, ArrayRef)

    def test_set_intersect(self):
        a = EmptySet(IntSort())