Method test_exists_basic

tests/test_z3_ported.py:997–1001

(self)

        assert is_quantifier(q)

    def test_exists_basic(self):
        x = Int("x")
        q = Exists([x], x > 0)
        assert isinstance(q._ast, ExistsNode)
        assert is_quantifier(q)

    def test_forall_binds_variable(self):
        """Bound variable not in free vars."""