Method test_set_difference

tests/test_z3_ported.py:4053–4057

(self)

        assert isinstance(result, ArrayRef)

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

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