Method test_is_const_array

tests/test_z3_ported.py:4257–4259

(self)

        assert not is_re(Int("x"))

    def test_is_const_array(self):
        assert is_const_array(K(IntSort(), IntVal(0)))
        assert not is_const_array(Int("x"))

    def test_is_K(self):
        assert is_K(K(IntSort(), IntVal(0)))