Method test_is_array

tests/test_z3_compat.py:1040–1043

(self)

        assert not is_bv(Int("x"))

    def test_is_array(self):
        a = Array("a", IntSort(), IntSort())
        assert is_array(a)
        assert not is_array(Int("x"))

    def test_is_const_var(self):
        assert is_const(Int("x"))