Method test_set_add

tests/test_z3_ported.py:4026–4029

(self)

        assert isinstance(result, BoolRef)

    def test_set_add(self):
        s = EmptySet(IntSort())
        s2 = SetAdd(s, IntVal(1))
        assert isinstance(s2, ArrayRef)

    def test_set_del(self):
        s = FullSet(IntSort())