Method test_set_del

tests/test_z3_ported.py:4031–4034

(self)

        assert isinstance(s2, ArrayRef)

    def test_set_del(self):
        s = FullSet(IntSort())
        s2 = SetDel(s, IntVal(1))
        assert isinstance(s2, ArrayRef)

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