Method test_set_complement

tests/test_z3_ported.py:4048–4051

(self)

        assert isinstance(result, ArrayRef)

    def test_set_complement(self):
        s = EmptySet(IntSort())
        result = SetComplement(s)
        assert isinstance(result, ArrayRef)

    def test_set_difference(self):
        a = FullSet(IntSort())