Method test_set_complement

tests/test_z3_compat.py:2016–2020

SetComplement creates an array expression.

(self)

        assert isinstance(i, ExprRef)

    def test_set_complement(self):
        """SetComplement creates an array expression."""

        s = SetComplement(EmptySet(IntSort()))
        assert isinstance(s, ExprRef)

    def test_set_difference(self):
        """SetDifference creates an array expression."""