Method test_set_intersect

tests/test_z3_ported.py:4042–4046

(self)

        assert isinstance(result, ArrayRef)

    def test_set_intersect(self):
        a = EmptySet(IntSort())
        b = FullSet(IntSort())
        result = SetIntersect(a, b)
        assert isinstance(result, ArrayRef)

    def test_set_complement(self):
        s = EmptySet(IntSort())