Method test_as_array_basic

tests/test_z3_compat.py:1582–1585

(self)

            Map(f)

    def test_as_array_basic(self):
        f = Function("f", IntSort(), IntSort())
        a = AsArray(f)
        assert is_array(a)

    def test_as_array_requires_unary(self):
        f = Function("f", IntSort(), IntSort(), IntSort())