Method test_is_subset

tests/test_z3_ported.py:4059–4063

(self)

        assert isinstance(result, ArrayRef)

    def test_is_subset(self):
        a = EmptySet(IntSort())
        b = FullSet(IntSort())
        result = IsSubset(a, b)
        assert isinstance(result, BoolRef)

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