Method test_is_const_var

tests/test_z3_compat.py:1045–1049

(self)

        assert not is_array(Int("x"))

    def test_is_const_var(self):
        assert is_const(Int("x"))
        assert is_var(Int("x"))
        x, y = Ints("x y")
        assert not is_const(x + y)

    def test_is_quantifier(self):
        x = Int("x")