Method test_is_quantifier

tests/test_z3_compat.py:1051–1054

(self)

        assert not is_const(x + y)

    def test_is_quantifier(self):
        x = Int("x")
        assert is_quantifier(ForAll([x], x > 0))
        assert not is_quantifier(x > 0)

    def test_is_eq(self):
        x, y = Ints("x y")